0.0
Подписчики
Коротков М.А.
Краткая биография автора
На нашем книжном сайте Вы можете скачать книги автора Коротков М.А. в самых разных форматах (epub, fb2, pdf, txt и многие другие). А так же читать книги онлайн и бесплатно на любом устройстве – iPad, iPhone, планшете под управлением Android, на любой специализированной читалке. Электронная библиотека КнигоГид предлагает литературу Коротков М.А. в жанрах .
Творчество Коротков М.А.
На нашем сайте представлены 3 книги автора Коротков М.А.. Самая популярная по мнению наших читателей "".
Математика
0.0
0
Основы формальных логических языков: Учеб. пособие
Данное учебное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного Института Точной Механики и Оптики.
