VV

[Russian]
Title: Математическая логика и теория алгоритмов
Author: Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн
Year: 2019
Pages: 111
ISBN: 978-5-7638-4076-6
Screenshot: https://t.me/bzd_screenshots/6536
Description: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
@bzd_channel
да нет
всё, просчитались вы