Literate Scientist

Very good book to learn about mathematical logic, distinction between syntax and semantics, different interpretations of formal languages and how this leads to various different non-classical logics. It will deepen your understanding of mathematics if you studied or encountered only classical propositional and predicate logic and want to learn more about fuzzy logic, for example, among many others. All necessary prerequisites are covered in the first 230 pages of this 500 page book including informal set theory and topology. I read most of this book couple of years ago and want to re-read it soon.

Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions

- Dmitry Vostokov @ LiterateScientist.com -

Announcements

Coming Soon:

Management Bits: An Anthology from Reductionist Manager

Crash Dump Analysis: Practical Foundations (Windows Edition, Systematic Software Fault Analysis Series)

Debugging Notebook: Essential Concepts, WinDbg Commands and Tools

Crash Dump Analysis for System Administrators and Support Engineers

New Magazines:

Debugged! MZ/PE: MagaZine for/from Practicing Engineers

New Books:

Memory Dump Analysis Anthology: Color Supplement for Volumes 1-3

Memory Dump Analysis Anthology, Volume 3

First Fault Software Problem Solving: A Guide for Engineers, Managers and Users

x64 Windows Debugging: Practical Foundations

Also available:

Windows Debugging: Practical Foundations

DLL List Landscape: The Art from Computer Memory Space

Dumps, Bugs and Debugging Forensics: The Adventures of Dr. Debugalov

WinDbg: A Reference Poster and Learning Cards

Memory Dump Analysis Anthology, Volume 2

Memory Dump Analysis Anthology, Volume 1

New Children's Book:

Baby Turing

This entry was posted on Tuesday, February 5th, 2008 at 6:36 pm and is filed under Computer Science, Language, Logic, Mathematics. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.