Пропустить и перейти к материалам
Пропустить и перейти к главной навигации
Пропустить и перейти к первому столбцу
Пропустить и перейти ко второму столбцу
Логика - доступно для всех
Конспекты лекций по математической логике
Фильтр по заголовку
Количество строк:
5
10
15
20
25
30
50
100
Все
№
Заголовок материала
1
Машина Тьюринга - Поста.
2
Реализация функции натурального переменного.
3
Эквивалентность трех подходов к понятию алгоритм.
4
Булевы функции. Основные определения
5
Дизъюнктивные нормальные формы.
6
Исчисления высказывания (ИВ).
7
Формальные исчисления.
8
Геометрическая интерпретация навешивания кванторов.
Главное меню
Главная
Поиск по сайту от Google
Лекционные материалы
Подборка лекций по логике
Лекции по предмету "Логика"
Основы логики
Ответы на вопросы по математической логике
Обновленные курсы лекций по логике
Шпаргалки по дисциплине "Логика"
Лекции по "Математической логике"
Файлы по логике
Курсовые и дипломные работы по логике
Лабораторные, задачи и контрольные работы по логике
Случайная новость
Алгоритм Сколема
Шаг 1. Представить формулу
F
в виде ПНФ, т.е. ...
