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