Конспект лекций О.Б.Лупанова по курсу ''Введение в...

Main
Mathematics - Logic
Конспект лекций О.Б.Лупанова по курсу...

Конспект лекций О.Б.Лупанова по курсу ''Введение в математическую логику''

Угольников А.Б.(ред.)

0 / 0

0 comments

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Учебное пособие составлено на основе конспектов лекций академика РАН О.Б.Лупанова по курсу "Введение в математическую логику", прочитанных им на первом курсе механико-математического факультета МГУ им. М.В.Ломоносова в 1982 - 2006гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.Для студентов и аспирантов.

Категории:

Mathematics - Logic

Година:

2007

Език:

russian

Страници:

192

Файл:

PDF, 1.12 MB

IPFS:

russian, 2007