Logic 在线电子书 图书标签: 计算机科学 数学 Logic Springer 2012
发表于2024-11-04
Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
This short book, geared towards undergraduate students ofcomputer 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.
评分
评分
评分
评分
Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024