Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik
Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik
No Thumbnail Available
Files
There are no files associated with this item.
Date
2005
Authors
Barwise, Jon
Echtemendy, John
Editors
Journal ISSN
Electronic ISSN
ISBN
3-89785-440-6
Bibliographical data
Publisher
Paderborn : mentis
Series
URI (citable link)
International patent number
Link to the license
EU project number
Project
Open Access publication
Collections
Title in another language
Language, proof and logic
Publication type
Collection
Publication status
Published in
Abstract
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 Schließens 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.
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 Schließens 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.
Summary in another language
Subject (DDC)
100 Philosophy
Keywords
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690
BARWISE, Jon, John ECHTEMENDY, BROMAND, Joachim, ed., Thomas MÜLLER, ed., Giovanni SOMMARUGA, ed., 2005. Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik. Paderborn : mentis. ISBN 3-89785-440-6BibTex
@book{Barwise2005Sprac-27155, year={2005}, isbn={3-89785-440-6}, publisher={Paderborn : mentis}, title={Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik}, editor={Bromand, Joachim and Müller, Thomas and Sommaruga, Giovanni}, author={Barwise, Jon and Echtemendy, 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/27155"> <dc:language>deu</dc:language> <dcterms:title>Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik</dcterms:title> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27155"/> <dcterms:abstract xml:lang="deu">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:<br /><br /><br /><br />Der Text zeigt zahlreiche interdisziplinäre Anknüpfungspunkte zu Philosophie, Sprachwissenschaft, Mathematik und Informatik auf.<br /><br />Es handelt sich um ein vielerprobtes Standardwerk, dessen hervorragende didaktische Qualität sich oftmals unter Beweis gestellt hat.<br /><br />Der vorgestellte Kalkül des natürlichen Schließens ist praxisnah und verständlich. Er wird aufbauend auf informelle Argumentationsmuster eingeführt, die den Studierenden implizit bereits vertraut sind.<br /><br />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.</dcterms:abstract> <dc:contributor>Sommaruga, Giovanni</dc:contributor> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:creator>Echtemendy, John</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-28T12:55:32Z</dc:date> <dc:contributor>Barwise, Jon</dc:contributor> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dc:contributor>Bromand, Joachim</dc:contributor> <bibo:issn>3-89785-440-6</bibo:issn> <dc:publisher>Paderborn : mentis</dc:publisher> <dcterms:alternative>Language, proof and logic</dcterms:alternative> <dc:contributor>Müller, Thomas</dc:contributor> <dcterms:issued>2005</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dc:contributor>Echtemendy, John</dc:contributor> <dc:rights>terms-of-use</dc:rights> <dc:creator>Barwise, Jon</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-28T12:55:32Z</dcterms:available> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> </rdf:Description> </rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Examination date of dissertation
Method of financing
Comment on publication
Übersetzt und für das Deutsche bearbeitet von Joachim Bromand, Thomas Müller und Giovanni Sommaruga