This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author’s puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. The book includes a journey through the amazing labyrinths of infinity, which have stirred the imagination of mankind as much, if not more, than any other subject
ترجمه فارسی (ترجمه ماشینی)
این کتاب با قرار دادن آن در چهارچوب معماها و پارادوکس های زبان رایج و تفکر منطقی، رویکردی منحصر به فرد به آموزش منطق ریاضی دارد. این به عنوان پلی از کتاب های پازل نویسنده به نوشتن فنی او در زمینه جذاب منطق ریاضی عمل می کند. نویسنده با استفاده از منطق دروغگویی و راستگویی، خوانندگان را با استدلال غیررسمی آشنا میکند تا آنها را برای مطالعه رسمی منطق نمادین، از منطق گزارهای تا منطق درجه اول آماده کند، موضوعی که کاربردهای مهم بسیاری در فلسفه، ریاضیات و ریاضیات دارد. علوم کامپیوتر. این کتاب شامل سفری در هزارتوهای شگفتانگیز بینهایت است که تخیل بشریت را بیش از هر موضوع دیگری برانگیخته است.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.