Скачать книгу можно бесплатно по данной ссылке: Скачать
Математическая логика и теория алгоритмов
Владимир Петров
ПРИСОЕДИНЯЙТЕСЬ 758 Просмотры
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Книги
Конкурсы
Сервисы
Тесты
Новости
Курсы
Бесплатное образование
ПРИСОЕДИНЯЙТЕСЬ
0 Комментарии