Лекции по математической логике и теории алгоритмов. В 3 частях
Лекции по математической логике и теории алгоритмов
Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, а...
Курс лекций по математической логике и теории алгоритмов
В настоящем учебном пособии изложены основы тео-рии двоичных функций, исчисления предикатов, теории мо-делей, элементов теории алгоритмов и теории сло...
Задачи и упражнения по математической логике и теории алгоритмов
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмо...
Математическая логика и теория алгоритмов
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Иго...
Задачи по теории множеств, математической логике и теории алгоритмов
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изу...