Виталий Исаакович Вайнштейн

Юлия Вайнштейн, Татьяна Пенькова, Виталий Вайнштейн – Математическая логика и теория алгоритмов

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные [...]
Яндекс.Метрика