Электронный каталог МПГУ -Леденева, Т. М. - Формальные аксиоматические теории. Исчисление предикатов. Часть 2- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Леденева, Т. М. - Формальные аксиоматические теории. Исчисление предикатов. Часть 2

Леденева, Т. М. - Формальные аксиоматические теории. Исчисление предикатов. Часть 2

Нет экз.

Электронный ресурс
Автор: Леденева, Т. М.
Ч. 2: Формальные аксиоматические теории. Исчисление предикатов. Часть 2
Издательство: ВГУ, 2020 г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс

Леденева, Т. М.
Ч. 2 : Формальные аксиоматические теории. Исчисление предикатов. Часть 2. – Воронеж : ВГУ, 2020. – 43 с. – Режим доступа : https://e.lanbook.com/book/433148, https://e.lanbook.com/img/cover/book/433148.jpg. – Книга из коллекции ВГУ - Математика. – На рус. яз.

Учебно-методическое пособие подготовлено на кафедре вычислительной математики и прикладных информационных технологий факультета прикладной математики, информатики и механики Воронежского государственного университета. Рекомендовано для студентов факультета прикладной математики, информатики и механики Воронежского государственного университета, изучающих дисциплину «Математическая логика и теория алгоритмов». Для направления 02.03.02 – Фундаментальная информатика и информационные технологии

основной = ЭБС Лань