Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке

Рубрика	Математика
Предмет	Математическая логика
Вид	статья
Язык	русский
Прислал(а)	А.Н. Чеботарев
Дата добавления	02.10.2018
Размер файла	1,0 M

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Подобные документы

• Численные методы для решения нелинейных уравнений

  Изучение численных методов приближенного решения нелинейных систем уравнений. Составление на базе вычислительных схем алгоритмов; программ на алгоритмическом языке Фортран - IV. Приобретение практических навыков отладки и решения задач с помощью ЭВМ.
  
  методичка [150,8 K], добавлен 27.11.2009
  

• Численные методы линейной алгебры

  Сравнительный анализ численных методов решения систем линейных алгебраических уравнений. Вычисление определителей и обратных матриц. Реализация методов в виде машинных программ на языке высокого уровня и решение задач на ЭВМ. Модификации метода Гаусса.
  
  реферат [85,2 K], добавлен 04.03.2011
  

• Выбор и построение интерполирующей функции

  Определение значения заданной функции в указанной точке при помощи интерполяционной схемы Эйткина. Проверка правильности данного решения с помощью кубического сплайна. Практическая реализация данного задания на языке Pascal и при помощи таблиц Excel.
  
  курсовая работа [496,3 K], добавлен 29.08.2010
  

• Вычислитель, определяющий наибольшее число из двух введенных и выводящий его на сисесигментный индикатор

  Методика разработки блок-схемы цифрового узла, принцип его действия, взаимосвязь составных элементов. Описание цифрового узла на языке AHDL. Привязка портов к сигналам и программирование заданной микросхемы, проводимые при этом отладочные работы.
  
  лабораторная работа [313,9 K], добавлен 25.01.2014
  

• Орграфы, теория и применение

  Общая характеристика графов с нестандартными достижимостями, их применение. Особенности задания, представления и разработки алгоритмов решения задач на таких графах. Описание нового класса динамических графов, программной реализации полученных алгоритмов.
  
  реферат [220,4 K], добавлен 22.11.2010
  

• Конечные сверхразрешимые группы

  Характеристика и изучение замкнутости класса всех конечных сверхразрешимых групп относительно подгрупп, фактор-групп и прямых произведений. Исследование свойств подгрупп конечной сверхразрешимой группы. Обзор свойств сверхразхрешимых групп в виде лемм.
  
  курсовая работа [260,7 K], добавлен 06.06.2012
  

• Точные методы численного решения систем линейных алгебраических уравнений

  Метод главных элементов, расширенная матрица, состоящая из коэффициентов системы и свободных членов. Метод квадратных корней для решения систем с симметричной матрицей коэффициентов. Практическая реализация метода Халецкого: программа на языке Pascal.
  
  контрольная работа [761,7 K], добавлен 22.08.2010
  

• Численное решение задач фильтрации неоднородных жидкостей в пористых средах

  Постановка начально-краевых задач фильтрации суспензии с нового кинетического уравнения при учете динамических факторов различных режимов течения. Построение алгоритмов решения задач, составление программ расчетов, получение численных результатов на ЭВМ.
  
  диссертация [1,1 M], добавлен 19.06.2015
  

• Классы конечных групп F, замкнутые относительно произведения F-подгрупп, индексы которых не делятся на некоторое простое число

  Описание свойств наследственных насыщенных формаций Фиттинга (замкнутые относительно произведения F-подгрупп) Шеметкова (где минимальная не F-группа является либо группой Шмидта с ненормальной циклической силовой подгруппой, либо простого порядка).
  
  курсовая работа [204,0 K], добавлен 14.02.2010
  

• Точные методы решения систем линейных алгебраических уравнений (СЛАУ)

  Методы решения систем линейных алгебраических уравнений (СЛАУ): Гаусса и Холецкого, их применение к конкретной задаче. Код программы решения перечисленных методов на языке программирования Borland C++ Builder 6. Понятие точного метода решения СЛАУ.
  
  реферат [58,5 K], добавлен 24.11.2009
  

• Классы конечных групп F, замкнутые относительно произведения обобщенно субнормальных F-подгрупп

  Изучение свойств критических групп и субнормальных подгрупп. Нахождение серии наследственных насыщенных формаций Шеметкова (минимальная не F-группа тут группа Шмидта, либо простого порядка) и Фиттинга (замкнутые относительно произведения F-подгрупп).
  
  дипломная работа [272,8 K], добавлен 14.02.2010
  

• Модификация метода построения тестов для конечных автоматов относительно неразделимости

  Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.
  
  курсовая работа [1,3 M], добавлен 20.08.2010
  

• Методика решения составных задач на пропорциональную зависимость

  Анализ особенностей методической деятельности учителя начальных классов при обучении учащихся решению задач с пропорциональной зависимостью. Роль задач в формировании учебной деятельности младших школьников. Виды задач в начальном курсе математики.
  
  курсовая работа [36,0 K], добавлен 07.01.2015
  

• Исследование метода простой итерации для решения систем линейных алгебраических уравнений

  Влияние способа перехода от системы F(x)=x к системе x=ф(x) на точность полученного решения. Общее описание программного обеспечения и алгоритмов. Функциональное назначение программы. Программный модуль metod1.m и metod2.m. Описание тестовых задач.
  
  курсовая работа [591,6 K], добавлен 27.04.2011
  

• Метод квадратных корней

  Система линейных алгебраических уравнений. Основные формулы Крамера. Точные, приближенные методы решения линейных систем. Алгоритм реализации метода квадратных корней на языке программирования в среде Matlab 6.5. Влияние мерности, обусловленности матрицы.
  
  контрольная работа [76,6 K], добавлен 27.04.2011
  

• Геометрические построения одной линейкой

  Исследование теоретического материала, касающегося задач, решаемых ограниченными средствами. Сущность и содержание теоремы Штейнера – Понселе. Задачи школьного курса геометрии, решаемые циркулем и линейкой, их исследование и методика разрешения.
  
  курсовая работа [856,1 K], добавлен 04.11.2015
  

• Численные методы

  Численные методы представляют собой набор алгоритмов, позволяющих получать приближенное (численное) решение математических задач. Два вида погрешностей, возникающих при решении задач. Нахождение нулей функции. Метод половинного деления. Метод хорд.
  
  курс лекций [81,2 K], добавлен 06.03.2009
  

• Численные методы решения обыкновенных дифференциальных уравнений и систем

  Численное решение уравнения методом Эйлера и Рунге-Кутта в Excel. Программа на языке Turbo Pascal. Блок-схема алгоритма. Метод Рунге-Кутта для дифференциального уравнения второго порядка. Модель типа "хищник-жертва" с учетом внутривидового взаимодействия.
  
  курсовая работа [391,5 K], добавлен 01.03.2012
  

• Текстовые задачи

  Структура текстовой задачи. Условия и требования задач и отношения между ними. Методы и способы решения задач. Основные этапы решения задач. Поиск и составление плана решения. Осуществление плана решения. Моделирование в процессе решения задачи.
  
  презентация [247,7 K], добавлен 20.02.2015
  

• Решение систем линейных уравнений

  Нахождение проекции точки на прямую, проходящую через заданные точки. Изучение формул Крамера для решения систем линейных уравнений. Определение точки пересечения перпендикуляра и исходной прямой. Исследование и решение матричной системы методом Гаусса.
  
  контрольная работа [98,6 K], добавлен 19.04.2015
  

• главная
• рубрики
• по алфавиту
• вернуться в начало страницы
• вернуться к подобным работам