A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for the students, individually or in groups, to learn the material by solving the problems and proving the results for themselves. The book should do as the text for a course taught using the modified Moore-method.
The material and its presentation are pretty stripped-down and it will probably be desirable for the instructor to supply further hints from time to time or to let the students consult other sources. Various concepts and and topics that are often covered in introductory mathematical logic or computability courses are given very short shrift or omitted entirely, among them normal forms, definability, and model theory.
Pages : | : 166 pages |
Size : | : In LaTeX, PDF, and PostScript formats |
File type : | |
Downloads: | 30 |
Created: | 2020-08-27 |
License: | Freeware |
Download free course Rethinking Productivity in Software Engineering, pdf file on 310 pages by Caitlin Sadowski, Thomas Zimmermann....
Lisp HackersDownload free course Lisp Hackers, pdf file on 77 pages by Vsevolod Dyomkin....
Peer Participation and SoftwareDownload free course Peer Participation and Software, pdf file on 113 pages by David R. Booth....
Essential Coding TheoryError-correcting codes (henceforth, just codes) are clever ways of representing data so that one can recover the original information even if parts of it are corrupted. The basic idea is to judiciously introduce redundancy so that the original information can be recovered even when parts of the (r...
Foundations of Software Science and Computation StructuresDownload free course Foundations of Software Science and Computation Structures, pdf file on 556 pages by Miko?aj Boja?czyk, Alex Simpson....
A Graduate Course in Applied CryptographyCryptography is an indispensable tool used to protect information in computing systems. It..., download free Cryptography tutorial in PDF (900 pages) created by Dan Boneh ....
Hacking tips and tricksHacking tips and tricks is a free pdf tutorial intended to beginners to know the basics of computer attacks and protect themselves from hackers and cybercriminals....
The Little Go BookDownload free course The Little Go Book, pdf file on 84 pages by Karl Seguin....
Pro GitPro Git (Second Edition) is your fully-updated guide to Git and its usage in the modern world. Git has come a long way since it was first developed by Linus Torvalds for Linux kernel development. It has taken the open source world by storm since its inception in 2005, and this book teaches you how...
Rethinking the Internet of ThingsOver the next decade, most devices connected to the Internet will not be used by people in..., download free Internet of Things tutorial in PDF (192 pages) created by Francis daCosta ....