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