Summary of O.B.Lupanov's lectures on the course "Introduction to Mathematical Logic"

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

Lupanov Oleg B.

book lists dedicated to the 270th anniversary of MSU maths

выбор редакции

ISBN: 978-5-19-011840-7 publication date: 2023 format: 60×90/16 pages': 327

For undergraduate and graduate students.

1 000 rub.

pcs.

Add to cart

Abstract To cite this article About the author

Abstract

The textbook is based on the lecture notes of Academician of the Russian Academy of Sciences O.B.Lupanov on the course "Introduction to Mathematical Logic", read by him in the first year of the Faculty of Mechanics and Mathematics of Lomonosov Moscow State University in 1982-2006. The manual covers the following issues: functions of logic algebra, functions of multivalued logic, propositional calculus, logic and predicate calculus, logical networks, finite automata, algorithms and computable functions.

For undergraduate and graduate students.

To cite this article

Summary of O.B.Lupanov's lectures on the course "Introduction to Mathematical Logic" / ed. by A. B. Ugolnikov. — Moscow : Moscow University Press, 2023. — 327, [1] p. : ill. — (Classical University textbook).

About the author

Lupanov Oleg B.

Doctor of Physico-Mathematical Sciences,