Propositional and Predicate Calculus: A Model of Argument

Author: Derek Goldrei

Publisher: Springer Science & Business Media

ISBN: 9781846282294

Category: Mathematics

Page: 315

View: 783

Designed specifically for guided independent study. Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active participation in the development of the material. It focuses on core material and provides a solid foundation for further study.
Release

Naive Mengenlehre

Author: Paul R. Halmos

Publisher: Vandenhoeck & Ruprecht

ISBN: 9783525405277

Category: Arithmetic

Page: 132

View: 759

Release

Mathematical Logic: Part 1

Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Author: René Cori,Daniel Lascar

Publisher: OUP Oxford

ISBN: 0191589772

Category: Mathematics

Page: 360

View: 6784

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.
Release

Einführung in die Modelltheorie

Vorlesungen

Author: Philipp Rothmaler

Publisher: Spektrum Akademischer Verlag

ISBN: 9783860254615

Category: Model theory

Page: 331

View: 4206

Release

Strukturen der Syntax

Author: Noam Chomsky

Publisher: Walter de Gruyter

ISBN: 3110813629

Category: Language Arts & Disciplines

Page: 136

View: 5377

Release

Principia mathematica

Vorwort und Einleitungen

Author: Alfred North Whitehead,Bertrand Russell

Publisher: N.A

ISBN: 9783518281932

Category: Mathematische Logik

Page: 167

View: 7715

Release

Mathematical Logic: Recursion theory, Gödel's theorems, Set theory, Model theory

Author: René Cori,Daniel Lascar

Publisher: Oxford University Press on Demand

ISBN: 9780198500513

Category: Mathematics

Page: 331

View: 1611

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the ever-growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The foundations having been laid in Part 1, this book starts with recursion theory, a topic essential for the complete scientist. Then follows Godel's incompleteness theorems and axiomatic set theory. Chapter 8 provides an introduction to model theory. There are examples throughout each section, and varied selection of exercises at the end. Answers to the exercises are given in the appendix.
Release

Logische Grundlagen der Künstlichen Intelligenz

Author: Nils J. Nilsson

Publisher: Springer-Verlag

ISBN: 3322928810

Category: Technology & Engineering

Page: 576

View: 1442

Das Buch ist die deutsche Übersetzung des Standardwerkes der Stanforder Professoren Michael R. Genesereth und Nils J. Nilsson.Im Unterschied zu deutschen Lehrbüchern der Informatik zeichnet sich das Buch dadurch aus, daß es einen gut lesbaren Überblick gibt, ohne allzu formalistisch zu werden, gleichwohl aber von hohem Niveau ist und die Ergebnisse jüngster Forschung berücksichtigt. Das Buch empfiehlt sich sowohl für Studenten und Dozenten der Inf ormatik, aber auch für Forscher aus anderen Gebieten, die von den Grundlagen der Künstlichen Intelligenz profitieren möchten.
Release

Beweise und Widerlegungen

Die Logik mathematischer Entdeckungen

Author: Imre Lakatos

Publisher: Springer-Verlag

ISBN: 3663001962

Category: Mathematics

Page: 163

View: 5013

Release

Grundlagen der Mathematik I

Author: David Hilbert,Paul Bernays

Publisher: Springer-Verlag

ISBN: 3642868940

Category: Mathematics

Page: 480

View: 9190

Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt.
Release

Vorlesungen über die Algebra der Logik (exakte Logik)

Author: Ernst Schröder,Eugen Müller

Publisher: N.A

ISBN: 9783742882486

Category:

Page: 236

View: 4588

Vorlesungen uber die Algebra der Logik (exakte Logik) ist ein unveranderter, hochwertiger Nachdruck der Originalausgabe aus dem Jahr 1890. Hansebooks ist Herausgeber von Literatur zu unterschiedlichen Themengebieten wie Forschung und Wissenschaft, Reisen und Expeditionen, Kochen und Ernahrung, Medizin und weiteren Genres.Der Schwerpunkt des Verlages liegt auf dem Erhalt historischer Literatur.Viele Werke historischer Schriftsteller und Wissenschaftler sind heute nur noch als Antiquitaten erhaltlich. Hansebooks verlegt diese Bucher neu und tragt damit zum Erhalt selten gewordener Literatur und historischem Wissen auch fur die Zukunft bei."
Release

Die Grundlagen der Arithmetik

eine logisch-mathematische untersuchung über den begriff der zahl

Author: Gottlob Frege

Publisher: Georg Olms Verlag

ISBN: 9783487400280

Category:

Page: 119

View: 984

Release

Logik für Dummies

Author: Mark Zegarelli

Publisher: John Wiley & Sons

ISBN: 3527657444

Category: Mathematics

Page: 358

View: 6244

Logik ist die Basis von Wissenschaft, aber auch eine Br?cke von Wissenschaft zum Alltag. So einfach sie scheint, so anspruchsvoll ist sie im Detail. Mark Zegarelli f?hrt Sie in "Logik f?r Dummies" systematisch in die Logik ein. Vom Paradoxon ?ber symbolische Logik bis zur Syllogistik l?sst er nichts aus und zeigt Ihnen, wie man Argumente pr?ft. Er arbeitet dabei mit anschaulichen Beispielen und schafft es so, dieses abstrakte Thema den Lesern nicht nur verst?ndlich zu machen, sondern ihnen auch Wert und Nutzen von Logik aufzuzeigen. Eine Einf?hrung, die den Wissensdurst stillt und Lust auf mehr macht.
Release

Programmverifikation

Sequentielle, parallele und verteilte Programme

Author: Krzysztof R. Apt,Ernst-Rüdiger Olderog

Publisher: Springer-Verlag

ISBN: 3642579477

Category: Computers

Page: 258

View: 9614

Release

Gesetze der Form

Author: George Spencer-Brown

Publisher: Joh. Bohmeier Verlag

ISBN: 9783890943213

Category: Algebraic logic

Page: 200

View: 5820

Release