BookSee.org
Booksee.org
Главная

A Problem Course in Mathematical Logic

A Problem Course in Mathematical Logic

This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositionaland first-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II, Computation, covers the basics of computability using Turing machines and recursive functions, the Incompleteness Theorems, and complexity theory through the P and NP. Information on availabality and the conditions under which this book may be used and reproduced are given in the preface.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#5

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport
57.35 Mb
Только что пользователи скачали эти книги: