Publikation:

Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik

Lade...
Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2005

Autor:innen

Barwise, Jon
Echtemendy, John

Herausgeber:innen

Bromand, Joachim
Sommaruga, Giovanni
Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

3-89785-440-6
Bibliografische Daten

Verlag

Paderborn : mentis

Schriftenreihe

Auflagebezeichnung

DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Language, proof and logic
Publikationstyp
Sammelband
Publikationsstatus
Published

Erschienen in

Zusammenfassung

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.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
100 Philosophie

Schlagwörter

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

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>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Übersetzt und für das Deutsche bearbeitet von Joachim Bromand, Thomas Müller und Giovanni Sommaruga
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Begutachtet
Diese Publikation teilen