Главная » Лекции по дисциплине "Математическая логика"

Конспекты лекций по математической логике

На чтение 1 мин Обновлено

Конспекты лекций по математической логике

 
Фильтр по заголовку     Количество строк:  
№ Заголовок материала
1 Машина Тьюринга — Поста.
2 Реализация функции натурального переменного.
3 Эквивалентность трех подходов к понятию алгоритм.
4 Булевы функции. Основные определения
5 Дизъюнктивные нормальные формы.
6 Исчисления высказывания (ИВ).
7 Формальные исчисления.
8 Геометрическая интерпретация навешивания кванторов.
 

 

Логика - доступно для всех
© 2024 Логика - доступно для всех