Город МОСКОВСКИЙ
00:15:27

Математическая логика и теория алгоритмов | 3.1 Высказывания и высказывательные формы

Аватар
Теория формальных доказательств
Просмотры:
29
Дата загрузки:
30.12.2023 03:49
Длительность:
00:15:27
Категория:
Обучение

Описание

Все видео курса: https://clck.ru/Rdqq3

Источник:
https://stepik.org/lesson/187589/step/1?unit=162115
https://stepik.org/course/48679/syllabus

Преподаватель:
Валентин Зюзьков
Профессор кафедры «Компьютерные системы в управлении и проектировании» ТУСУР.
Кандидат физ.-мат. наук, старший научный сотрудник.
Автор 99 научных, учебных и учебно-методических работ.
Научно-педагогический стаж — 45 лет.

Рекомендуемые видео