Демо (html) Математическая логика и теория алгоритмов
В тесте 1349.55.01.1 колличество вопросов - 1202.
Ишимбайское ПДО Стерлитамак , Мытищинское , Родниковское , Кировское ПДО Калужского , Панковское , Панковское , Гурьевское , Фроловское , Горячеисточненский , Златоустовский , Красноярский
Базовый код: ls_1000.02.01.1
Полный код: 1000.02.01;LS.01;1
Индекс: LS01419
Математическая логика и теория алгоритмов
25.02.2011
- Введение в формальные системы
- Интерпретация формальной системы и теории
- Структура языка и выражения
- Исчисление высказываний: интуитивный подход
- Комбинаторные системы
- Алгоритмы как формальные системы
- Марковские алгоритмы
- Вычисляемая функция
- Математическая логика
- Машина Тьюринга и вычислимость
- Регулярные языки и автоматные грамматики
- Гипотическая вычислительная машина
- Тезис Черча
- Теории формальных грамматик
- Рекурсивные множества и функции
- Примитивно рекурсивные функции
- Рекурсивные и рекурсивно перечислимые множества и предикаты
- Теорема Геделя о неполноте
- Теорема о существовании универсальной частично рекурсивной функции
- Сложность вычислений и элементы логического программирования
- Меры сложности вычислений
- Хорновские дизъюнкты
- Формальные языки класса Р
- Логические программы
- Введение в формальные системы
- Интерпретация формальной системы и теории
- Структура языка и выражения
- Исчисление высказываний: интуитивный подход
- Комбинаторные системы
- Алгоритмы как формальные системы
- Марковские алгоритмы
- Вычисляемая функция
- Математическая логика
- Машина Тьюринга и вычислимость
- Регулярные языки и автоматные грамматики
- Гипотическая вычислительная машина
- Тезис Черча
- Теории формальных грамматик
- Рекурсивные множества и функции
- Примитивно рекурсивные функции
- Рекурсивные и рекурсивно перечислимые множества и предикаты
- Теорема Геделя о неполноте
- Теорема о существовании универсальной частично рекурсивной функции
- Сложность вычислений и элементы логического программирования
- Меры сложности вычислений
- Хорновские дизъюнкты
- Формальные языки класса Р
- Логические программы