Конспекты лекций по математической логике
Исчисления высказывания (ИВ)
0149
Определения.   Опр: V – словом в алфавите А, называется
Логика - доступно для всех
Конспекты лекций по математической логике
Эквивалентность трех подходов к понятию алгоритм.
0134
 Теорема об эквивалентности понятия вычислимой функции.
Логика - доступно для всех
Конспекты лекций по математической логике
Дизъюнктивные нормальные формы.
0136
 Основные определения.  —
Логика - доступно для всех
Конспекты лекций по математической логике
Машина Тьюринга — Поста.
0143
Имеется устройство просматривающее бесконечную ленту
Логика - доступно для всех
Конспекты лекций по математической логике
Формальные исчисления.
0138
Алфавит – конечное или счетное множество символов
Логика - доступно для всех
Конспекты лекций по математической логике
Реализация функции натурального переменного.
0133
 но мы допускаем не всюду определенную функцию.  
Логика - доступно для всех
Конспекты лекций по математической логике
Геометрическая интерпретация навешивания кванторов.
0139
   — ортогональная проекция на ось x  
Логика - доступно для всех
Конспекты лекций по математической логике
Булевы функции. Основные определения
0139
 Декартово произведение  —
Логика - доступно для всех