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
Bromand, Joachim
Sommaruga, Giovanni
Contact
Journal ISSN
Electronic ISSN
ISBN
3-89785-440-6
Bibliographical data
Publisher
Paderborn : mentis
Series
URI (citable link)
DOI (citable link)
ArXiv-ID
International patent number
Link to the license
EU project number
Project
Open Access publication
Collections
Restricted until
Title in another language
Language, proof and logic
Research Projects
Organizational Units
Journal Issue
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.
Summary in another language
Subject (DDC)
100 Philosophy
Keywords
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690BARWISE, 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-6
BibTex
@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:&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;Der Text zeigt zahlreiche interdisziplinäre Anknüpfungspunkte zu Philosophie, Sprachwissenschaft, Mathematik und Informatik auf.&lt;br /&gt;&lt;br /&gt;Es handelt sich um ein vielerprobtes Standardwerk, dessen hervorragende didaktische Qualität sich oftmals unter Beweis gestellt hat.&lt;br /&gt;&lt;br /&gt;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.&lt;br /&gt;&lt;br /&gt;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
Contact
URL of original publication
Test date of URL
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
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
Refereed