Пропозициональные логические системы - Кудинов А.В.

Кудинов А.В. Элементы математической логики, 30.09.2022Подробнее

Что такое пропозициональные выражения? Душкин объяснитПодробнее

Лекция 8. А.В. Кудинов. Сложность неклассических логик.Подробнее

Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика.Подробнее

Кудинов А.В. Элементы математической логики, 14.10.2022Подробнее

Лекция 7. А.В. Кудинов. Сложность неклассических логик.Подробнее

Лекция 6. А.В. Кудинов. Сложность неклассических логик.Подробнее

ОСНОВЫ ЛОГИКИ Закон контрапозиции в примерах (13/20)Подробнее

Кудинов А.В. Элементы математической логики 30.09.2020Подробнее

Кудинов А.В. НИС Неклассичекские логики 25.05.2022Подробнее

Кудинов А.В. Элементы математической логики. 23.09.2020Подробнее

Кудинов А.В. НИС Неклассичекские логики 016.03.2022Подробнее

ОСНОВЫ ЛОГИКИ Импликация и необходимое и достаточное условие (10/20)Подробнее

3.2.Пропозициональные логические связки.Математическая логика и теория алгоритмов.Подробнее

Кудинов А.В. Элементы математической логики, 25.11.2022Подробнее

Кудинов А.В. Элементы математической логики, 16.09.2022Подробнее

Кудинов А.В. НИС Неклассичекские логики 20.04.2022Подробнее