304 кафедра МАИ.
Лабораторные работы по курсу.
«Математическая логика и теория алгоритмов».
Лабораторная работа № 1. Логика высказываний.
Лабораторная работа № 2. Логика предикатов.
Лабораторные работы по курсу.
«Математическая логика и теория алгоритмов».
Лабораторная работа № 1. Логика высказываний.
Лабораторная работа № 2. Логика предикатов.