A Problem Course in Mathematical Logic
โ Stefan Bilaniuk
๐ Library
๐
2003
๐ English
โฆ LIBER โฆ
๐
A Problem Course in Mathematical Logic
โ Scribed by Bilaniuk S.
- Year
- 1999
- Tongue
- English
- Leaves
- 95
- Edition
- version 1.5
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Synopsis
This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositionaland first-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II, Computation, covers the basics of computability using Turing machines and recursive functions, the Incompleteness Theorems, and complexity theory through the P and NP. Information on availabality and the conditions under which this book may be used and reproduced are given in the preface.
๐ SIMILAR VOLUMES
A Problem Course in Mathematical Logic
โ Bilaniuk
๐ Library
๐
2003
๐ Creative Commons, Trent University
๐ English
A Problem Course In Mathematical Logics
๐ Fiction
A Problem Course in Mathematical Logic
โ Bilaniuk S.
๐ Library
๐
1997
๐ English
This is the Volume II of a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of computability, using Turing machines and recursive functions, and Goedel's Incompleteness Theorem, and could be used for a one semester course on these topics. Volume I, Proposi
A Problem Course in Mathematical Logic
โ Bilanuik S.
๐ Library
๐ English
Department of Mathematics Trent University, 1991, -186 pp.<div class="bb-sep"></div>This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositional and first-order logic through the Soundness, Completeness, and Compactness Theorems. <br/>Volume
A problem course in mathematical logic :
โ Stefan Bilaniuk
๐ Library
๐
1994
๐ Dept. of Mathematics Trent University
๐ English