Publikation: Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie
Lade...
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
2006
Autor:innen
Barwise, Jon
Etchemendy, John
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
3-89785-441-4
Bibliografische Daten
Verlag
Paderborn : mentis
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Language, proof and logic
Publikationstyp
Sammelband
Publikationsstatus
Published
Erschienen in
Zusammenfassung
Der vorliegende zweite Band von Sprache, Beweis und Logik knüpft nahtlos an Band I an, der die klassische Aussagen- und Prädikatenlogik vorstellt. Band II geht dabei weit über die üblichen Einführungen in die Logik hinaus und eignet sich als Textgrundlage für einen Fortsetzungskurs. Zu den behandelten Themen 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.
Wie schon zu Band I gibt es eine begleitende umfangreiche Software-Unterstützung, die sehr zur Veranschaulichung des Stoffes beiträgt. Studierende können so selbstständig mit den Beweistechniken experimentieren und erhalten unmittelbares Feedback für viele Übungen.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
100 Philosophie
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
BARWISE, Jon, John ETCHEMENDY, BROMAND, Joachim, ed., Thomas MÜLLER, ed., Giovanni SOMMARUGA, ed., 2006. Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie. Paderborn : mentis. ISBN 3-89785-441-4BibTex
@book{Barwise2006Sprac-27154,
year={2006},
isbn={3-89785-441-4},
publisher={Paderborn : mentis},
title={Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie},
editor={Bromand, Joachim and Müller, Thomas and Sommaruga, Giovanni},
author={Barwise, Jon and Etchemendy, John},
note={Übersetzt und für das Deutsche bearbeitet von Joachim Bromand, Thomas Müller und Giovanni Sommaruga}
}RDF
<rdf:RDF
xmlns:dcterms="http://purl.org/dc/terms/"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:bibo="http://purl.org/ontology/bibo/"
xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:void="http://rdfs.org/ns/void#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#" >
<rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/27154">
<bibo:issn>3-89785-441-4</bibo:issn>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-28T13:00:00Z</dcterms:available>
<dcterms:abstract xml:lang="deu">Der vorliegende zweite Band von Sprache, Beweis und Logik knüpft nahtlos an Band I an, der die klassische Aussagen- und Prädikatenlogik vorstellt. Band II geht dabei weit über die üblichen Einführungen in die Logik hinaus und eignet sich als Textgrundlage für einen Fortsetzungskurs. Zu den behandelten Themen zählen:<br /><br /><br /><br />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.<br /><br /><br /><br />Wie schon zu Band I gibt es eine begleitende umfangreiche Software-Unterstützung, die sehr zur Veranschaulichung des Stoffes beiträgt. Studierende können so selbstständig mit den Beweistechniken experimentieren und erhalten unmittelbares Feedback für viele Übungen.</dcterms:abstract>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
<dc:creator>Barwise, Jon</dc:creator>
<dc:contributor>Barwise, Jon</dc:contributor>
<dc:rights>terms-of-use</dc:rights>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-28T13:00:00Z</dc:date>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dc:contributor>Müller, Thomas</dc:contributor>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dcterms:title>Sprache, Beweis und Logik ; 2. Anwendungen und Metatheorie</dcterms:title>
<dc:contributor>Bromand, Joachim</dc:contributor>
<dc:contributor>Sommaruga, Giovanni</dc:contributor>
<dc:publisher>Paderborn : mentis</dc:publisher>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dc:contributor>Etchemendy, John</dc:contributor>
<dcterms:alternative>Language, proof and logic</dcterms:alternative>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dc:creator>Etchemendy, John</dc:creator>
<dcterms:issued>2006</dcterms:issued>
<bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27154"/>
<dc:language>deu</dc:language>
</rdf:Description>
</rdf:RDF>Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Übersetzt und für das Deutsche bearbeitet von Joachim Bromand, Thomas Müller und Giovanni Sommaruga
