пользователей: 28280
предметов: 12134
вопросов: 228408
Конспект-online
 РЕГИСТРАЦИЯ ЭКСКУРСИЯ

МЛиТА

1 Временные логики.
2 Индуктивные логики. Вероятностная семантика.
3 Исчисление высказываний (ИВ). Доказуемость в ИВ.
4 Исчисление предикатов (ИП). Кванторы.
5 Логика Пнуели и алгоритмические логики.
6 Логическое программирование. Язык ПРОЛОГ.
7 Машины Тьюринга. Теорема Клини.
8 Метод резолюций для ИВ. Хорновские дизъюнкты.
9 Модальная логика. Деонтические исчисления.
10 Модальная логика. Исчисления I и T.
11 Модальная логика. Исчисления S4 и S5.
12 Нечеткие множества и нечеткая логика.
13 Основные эквивалентности формул ИП. Пренексная нормальная форма.
14 Особенности перевода с естественного языка на язык математической логики.
15 Понятие алгоритма. Тезис Черча.
16 Понятие универсальности.
17 Понятие формальной теории. Синтаксический вывод и семантическая истинность.
18 Пример рекурсивно перечислимого не рекурсивного множества.
19 Примитивно рекурсивные функции. Теорема Робинсона.
20 Рекурсивные и рекурсивно перечислимые множества.
21 Семантика ИВ. Теорема о непротиворечивости ИВ.
22 Семантика Крипке модальной логики.
23 Сколемизация формул. Метод резолюций для ИП.
24 Таблицы истинности. Релейно-контактные схемы.
25 Теорема Геделя о неполноте арифметики
26 Теорема о существовании модели. Полнота и непротиворечивость ИП.
27 Унификация формул ИП.
28 Характеризация доказуемых формул ИВ. Теорема о полноте ИВ.
29 Частично рекурсивные и рекурсивные функции. Функция Аккермана.
30 Эквивалентность формул. КНФ и ДНФ.
23.01.2014; 15:25
хиты: 0
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2018. All Rights Reserved. помощь