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