Logic: a brief course
Description
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 book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.
More Copies In Prospector
Loading Prospector Copies...
More Details
Contributors:
ISBN:
9788847023604
9788847023611
9788847023611
Staff View
Grouping Information
Grouped Work ID | 81132d1c-c080-734c-cf24-3f6ea13b700b |
---|---|
Grouping Title | logic a brief course |
Grouping Author | daniele mundici |
Grouping Category | book |
Grouping Language | English (eng) |
Last Grouping Update | 2024-05-01 10:09:19AM |
Last Indexed | 2024-05-02 23:26:59PM |
Solr Fields
accelerated_reader_point_value
0
accelerated_reader_reading_level
0
author
Mundici, Daniele, 1946-
author2-role
SpringerLink (Online Service)
author_display
Mundici, Daniele
available_at_ccu
CCU Electronic Resources
detailed_location_ccu
CCU Electronic Resources
display_description
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 book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.
format_category_ccu
eBook
format_ccu
eBook
id
81132d1c-c080-734c-cf24-3f6ea13b700b
isbn
9788847023604
9788847023611
9788847023611
itype_ccu
E-book
last_indexed
2024-05-03T05:26:59.403Z
lexile_score
-1
literary_form
Non Fiction
literary_form_full
Non Fiction
owning_library_ccu
Colorado Christian University Online
owning_location_ccu
CCU Electronic Resources
primary_isbn
9788847023604
publishDate
2012
publisher
Springer
recordtype
grouped_work
series
Unitext
series_with_volume
Unitext|
subject_facet
Logic
Logic, Symbolic and mathematical
Logique
Logique symbolique et mathématique
Lógica
Lógica matemática
Matemáticas
Mathematics
Mathématiques
applied mathematics
logic
mathematics
Logic, Symbolic and mathematical
Logique
Logique symbolique et mathématique
Lógica
Lógica matemática
Matemáticas
Mathematics
Mathématiques
applied mathematics
logic
mathematics
title_display
Logic : a brief course
title_full
Logic : a brief course / Daniele Mundici
title_short
Logic
title_sub
a brief course
topic_facet
Logic
Logic, Symbolic and mathematical
Logique
Logique symbolique et mathématique
Lógica
Lógica matemática
Matemáticas
Mathematics
Mathématiques
applied mathematics
logic
mathematics
Logic, Symbolic and mathematical
Logique
Logique symbolique et mathématique
Lógica
Lógica matemática
Matemáticas
Mathematics
Mathématiques
applied mathematics
logic
mathematics
Solr Details Tables
item_details
Bib Id | Item Id | Shelf Loc | Call Num | Format | Format Category | Num Copies | Is Order Item | Is eContent | eContent Source | eContent URL | Detailed Status | Last Checkin | Location |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
external_econtent:ils:.b35348422 | .i151359258 | CMU Electronic Access | Web Content | eBook | 1 | false | true | SpringerLink | http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-88-470-2361-1 | Available Online | cueme | ||
external_econtent:ils:.b35348422 | .i71772984 | CCU Electronic Resources | eBook | eBook | 1 | false | true | SpringerLink CCU Owned | http://ezproxy.ccu.edu/login?url=http://dx.doi.org/10.1007/978-88-470-2361-1 | Available Online | cceb |
record_details
Bib Id | Format | Format Category | Edition | Language | Publisher | Publication Date | Physical Description | Abridged |
---|---|---|---|---|---|---|---|---|
external_econtent:ils:.b35348422 | eBook | eBook | English | Springer | ©2012 | 1 online resource (xi, 124 pages) |
scoping_details_ccu
Bib Id | Item Id | Grouped Status | Status | Locally Owned | Available | Holdable | Bookable | In Library Use Only | Library Owned | Holdable PTypes | Bookable PTypes | Local Url |
---|---|---|---|---|---|---|---|---|---|---|---|---|
external_econtent:ils:.b35348422 | .i71772984 | Available Online | Available Online | false | true | false | false | false | true |