libcats.org
Главная

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

Обложка книги To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

After a disconnected array of logic puzzles at the beginning, the author embarks on an introductory course to combinatory logic. Given a little application (if you're like me you will need a pen and paper), you can get to grips with some of the fundamentals of mathematical logic with relatively little background. This is pretty astonishing.

The worst feature of the book is the fact that only one (unintuitive) model for the theory is provided. Discussion of the significance of the results obtained is not particularly useful - probably anyone smart enough to solve the puzzles will not find anything there that they couldn't figure out for themselves.

But nevermind: if you want a good introductory course in combinatory logic (or you want to understand (a version of) Godel's 1st incompleteness theorem), then I would recommend this book for you!

Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Analysis of Incomplete Multivariate Data

Автор:
Размер книги: 6.77 Mb

Trauma Care Manual

Автор: , Автор: , Автор:
Категория: medicine - surgery
Размер книги: 23.93 Mb

Digital Design

Автор:
Размер книги: 88.17 Mb

Handbook of econometrics,

Автор: , Автор:
Категория: G_Economics, GL_Econometrics
Размер книги: 7.78 Mb

Advances Electronics and Electron Physics. Vol. 39

Автор:
Размер книги: 17.77 Mb