-------------------- YOULIBR - Курс математической логики и теории вычислимости Герасимов А.С. PDF 2014 BOOKS NATURAL SCIENCES kurs-matematicheskoy-logiki-i-teorii-vychislimosti
BOOKS - NATURAL SCIENCES - Курс математической логики и теории вычислимости...
Курс математической логики и теории вычислимости - Герасимов А.С. 2014 PDF Лань BOOKS NATURAL SCIENCES
US $5.73

Views
325854
Курс математической логики и теории вычислимости
Author: Герасимов А.С.
Year: 2014
Number of pages: 410
Format: PDF
File size: 15,3 MB
Language: RU

This tutorial is designed to study mathematical logic and algorithm theory. It describes the language of propositional logic and the language of first-order predicate logic, the semantics of these languages. Based on the general concept of calculus, Hilbert type calculus, sequential calculus and the resolution method are presented as methods of formal mathematical proof.

You may also be interested in: