Band I: Aussagen- und Prädikatenlogik
Mit Sprache, Beweis und Logik liegt nun die auf zwei Bände angelegte deutsche Übersetzung des erfolgreichen Lehrbuchs Language, Proof and Logic vor. Band I führt in die klassische Aussagen- und Prädikatenlogik ein und übertrifft dabei andere Logikeinführungen an Ausführlichkeit und Praxisnähe bei weitem. Den Text zeichnen u.a. die folgenden Punkte aus: Der Text zeigt zahlreiche interdisziplinäre Anknüpfungspunkte zu Philosophie, Sprachwissenschaft, Mathematik und Informatik auf. Es handelt sich um ein vielerprobtes Standardwerk, dessen hervorragende didaktische Qualität sich oftmals unter Beweis gestellt hat. Der vorgestellte Kalkül des natürlichen Schliessens ist praxisnah und verständlich. Er wird aufbauend auf informelle Argumentationsmuster eingeführt, die den Studierenden implizit bereits vertraut sind. Begleitend zum Text gibt es eine umfangreiche Software-Unterstützung, die sehr zur Veranschaulichung des Stoffes beiträgt. Studierende können so selbständig mit den Beweistechniken experimentieren und erhalten unmittelbares Feedback für viele Übungen.
“It’s as if the teaching of logic moved from black-and-white to Technicolor.” - Tom Burke, University of South Carolina
Aktualisiert: 2023-02-06
> findR *
Band II: Anwendungen und Metatheorie
Dieser Band knüpft sowohl inhaltlich als auch methodisch nahtlos an den ersten Band von Sprache, Beweis und Logik an. Dabei führt Band II weit über die üblichen Einführungen hinaus und eignet sich als Textgrundlage für einen Fortsetzungskurs zur üblichen Logikeinführung. Zusammen ergeben beide Bände somit eine homogene Einführung in die Logik, für die bislang Texte verschiedener Autoren erforderlich waren. Zu den behandelten Themenbereichen zählen: Theorie der generalisierten Quantoren, numerische Aussagen, Russells Kennzeichnungstheorie vs. Präsuppositionen, naive Mengentheorie und ZFC, mathematische Induktion, induktive Korrektheitsbeweise von Programmen, Hornformeln, Resolutionsverfahren, Skolemisierung, Unifikation, Beweise von Korrektheit, Vollständigkeit und Kompaktheit für Aussagen- und Prädikatenlogik, das Theorem von Löwenheim und Skolem, Skolems ‚Paradox‘, Nichtstandardmodelle der Arithmetik, Gödels Unvollständigkeitstheorem.
Die im Buch erwähnte Software ist vergriffen und nicht mehr erhältlich.
Aktualisiert: 2023-02-06
> findR *
MEHR ANZEIGEN
Bücher von Barwise, John
Sie suchen ein Buch oder Publikation vonBarwise, John ? Bei Buch findr finden Sie alle Bücher Barwise, John.
Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher
von Barwise, John im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch oder die
Publiketion für Ihr Lesevergnügen oder Ihr Interessensgebiet. Stöbern Sie durch unser Angebot und finden Sie aus
unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und
populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zu Ihrem Thema einfach online und lassen Sie es sich
bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch
von Barwise, John .
Barwise, John - Große Auswahl an Publikationen bei Buch findr
Bei uns finden Sie Bücher aller beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher
von Barwise, John die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten
vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher
verschiedenster Genres, Verlage, Schlagworte Genre bei Buchfindr:
Unser Repertoire umfasst Bücher von
- Barwitz, Werner
- Barwitzki, Bernhard
- Barwitzki, Yvonne
- Bärwolff, Günter
- Bärwolff, Günter
- Bärwolff, Hartmut
- Bärwolff, Hartmut
- Bärwolff, Katja
- Bärwolff, Katja
- Bärwolff, M
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Neben Büchern von Barwise, John und Büchern aus verschiedenen Kategorien finden Sie schnell und
einfach auch eine Auflistung thematisch passender Publikationen. Probieren Sie es aus, legen Sie jetzt los! Ihrem
Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die
bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen,
Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen
das Team von Buchfindr.