Уведомления
Уведомлений еще не было
Пять пороков команды
Пять пороков команды

Патрик Ленсиони

8.4
425 оценок
Правописные истины, или Левосудие для всех. 3-е издание
Правописные истины, или Левосудие для всех. 3-е издание

Павел Астахов

0.0
0 оценок
Невидимые женщины. Почему мы живем в мире, удобном только для мужчин. Неравноправие, основанное на данных
Невидимые женщины. Почему мы живем в мире, удобном только для мужчин. Неравноправие, основанное на данных

Перес Кэролайн Криадо

9.0
1 оценка
Всё о муми-троллях. Книга 1
Всё о муми-троллях. Книга 1

Туве Янссон

0.0
0 оценок
Рохан в Лувре
Рохан в Лувре

Хирохико Араки

7.0
1 оценка
Хороших девочек не убивают
Хороших девочек не убивают

Холли Джексон

8.6
433 оценки

Книги Короткова М.А.

Коротков М.А. - автор 3 книг. Из известных произведений можно выделить: Основы теории алгоритмов, Основы формальных логических языков, Основы формальных логических языков: Учеб. пособие. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Математика
0.0
0
0
Основы теории алгоритмов
Степанов Е.О.
Основы теории алгоритмов
Степанов Е.О. Основы теории алгоритмов
Языкознание
0.0
0
0
Основы формальных логических языков
Степанов Е.О.
Основы формальных логических языков
Степанов Е.О. Основы формальных логических языков
Математика
0.0
0
0
Основы формальных логических языков: Учеб. пособие
Е. А. Степанов
Основы формальных логических языков: Учеб. пособие

Данное учебное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного Института Точной Механики и Оптики.

Е. А. Степанов Основы формальных логических языков: Учеб. пособие

Книгогид использует cookie-файлы для того, чтобы сделать вашу работу с сайтом ещё более комфортной. Если Вы продолжаете пользоваться нашим сайтом, вы соглашаетесь на применение файлов cookie.