Уведомления
Уведомлений еще не было
Смешарики. История культовой Вселенной
Смешарики. История культовой Вселенной

Мария Корнилова

8.6
164 оценки
Ртуть
Ртуть

Нил Стивенсон

8.4
470 оценок
Академия вампиров. Кровные узы. Книга 4. Пламенное сердце
Академия вампиров. Кровные узы. Книга 4. Пламенное сердце

Райчел Мид

8.8
1377 оценок
Ассистентка Злодея
Ассистентка Злодея

Мерер Ханна Николь

8.0
1 оценка
Убийства единорога
Убийства единорога

Джон Диксон Карр

8.0
0 оценок
Гимнастика Цигун. Подробный самоучитель здоровья и долголетия
Гимнастика Цигун. Подробный самоучитель здоровья и долголетия

Лао Минь

7.0
1 оценка

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

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

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

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

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

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

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