В рамках дисциплины изучаются основы булевой алгебры, логика высказываний, логика предикатов, исчисление высказываний и исчисление предикатов, основы теории моделей, основы теории доказательств и теории алгоритмов
- Учитель: Гулзат Сабирова
В рамках дисциплины изучаются основы булевой алгебры, логика высказываний, логика предикатов, исчисление высказываний и исчисление предикатов, основы теории моделей, основы теории доказательств и теории алгоритмов