Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic: A Brief Course
Daniele Mundici
€ 64.07
FREE Delivery in Ireland
Description for Logic: A Brief Course
Paperback. Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequences using Robinson's completeness theorem and Godel's compactness theorem for propositional logic. Series: Unitext / La Matematica Per Il 3+2. Num Pages: 141 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 266.
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the ... Read more
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer Verlag Italy
Number of pages
141
Condition
New
Series
Unitext / La Matematica Per Il 3+2
Number of Pages
130
Place of Publication
Milan, Italy
ISBN
9788847023604
SKU
V9788847023604
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logic: A Brief Course
From the reviews: “This is a short introduction to mathematical logic that covers basic material in 17 chapters … . The book is interspersed with several small references to various scholars involved in the development of logic, which provides for welcome interruptions in the formal exposition. … An important aspect of the book is a veritable multitude of exercises. ... Read more