|
|
libcats.org
Главная →
To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory LogicTo Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory LogicRaymond M. SmullyanAfter 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!
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
The one-dimensional Hubbard modelАвтор: Fabian H. L. Essler, Автор: Holger Frahm, Автор: Frank Göhmann, Автор: Andreas Klümper, Автор: Vladimir E. Korepin
Размер книги: 3.55 Mb
Ортогональные преобразования при обработке цифровых сигналовАвтор: Ахмед Н., Автор: Рао К.Р., Автор: Фоменко И.Б. (пер.)
Размер книги: 4.90 Mb
WordPlay: 550+ Words You Need to Know Audio BookАвтор: Murray Bromberg Melvin Gordon
Размер книги: 971 Kb
Managing Path-Breaking Innovations: CERN-ATLAS, Airbus, and Stem Cell Research (Technology, Innovation, and Knowledge Management)Автор: Shantha Liyanage, Автор: Rudiger Wink, Автор: Markus NordbergКатегория: Биология, Микробиология
Размер книги: 2.29 Mb
|
|
|