Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

  1. Logik
    Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik
    Erschienen: [2018]; ©2018
    Verlag:  De Gruyter, Berlin

    Diese Einführung in die Logik umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die... mehr

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    keine Fernleihe
    Hochschule für Gesundheit, Hochschulbibliothek
    Initiative E-Books.NRW
    keine Fernleihe
    Staats- und Universitätsbibliothek Bremen
    keine Fernleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    keine Fernleihe
    Hochschule für Bildende Künste Dresden, Bibliothek
    keine Fernleihe
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    PDA DeGruyter 2019/20
    keine Fernleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    keine Fernleihe
    Zentrale Hochschulbibliothek Flensburg
    keine Fernleihe
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    keine Fernleihe
    Universitätsbibliothek Greifswald
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    ebook
    keine Fernleihe
    HafenCity Universität Hamburg, Bibliothek
    keine Fernleihe
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    keine Fernleihe
    Technische Universität Hamburg, Universitätsbibliothek
    keine Fernleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    e-Book De Gruyter
    keine Fernleihe
    Bibliothek LIV HN Sontheim
    DeGruyter Oldenbourg E-Book
    keine Fernleihe
    Bibliothek LIV HN Sontheim
    DeGruyter Oldenbourg E-Book
    keine Fernleihe
    Universitätsbibliothek Hildesheim
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Bibliothek
    eBook De Gruyter
    keine Fernleihe
    Thüringer Universitäts- und Landesbibliothek
    keine Fernleihe
    Hochschulbibliothek Karlsruhe (PH)
    eBook de Gruyter
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    keine Fernleihe
    Hochschule für Grafik und Buchkunst, Bibliothek
    keine Fernleihe
    Hochschule für Technik, Wirtschaft und Kultur, Hochschulbibliothek
    keine Fernleihe
    Universitätsbibliothek Leipzig
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Lörrach, Zentralbibliothek
    eBook DeGruyter
    keine Fernleihe
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    keine Fernleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    ebook deGruyter PH
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    eBook de Gruyter
    keine Fernleihe
    Hochschule Merseburg, Bibliothek
    keine Fernleihe
    Hochschule Mittweida (FH), Hochschulbibliothek
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    E-Books DeGruyter
    keine Fernleihe
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    eBook DeGruyter
    keine Fernleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    keine Fernleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Oldenburg, Bibliothek
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Elsfleth, Bibliothek
    keine Fernleihe
    Hochschulbibliothek Pforzheim, Bereichsbibliothek Technik und Wirtschaft
    eBook de Gruyter
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    E-Book deGruyter
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    eBook De Gruyter
    keine Fernleihe
    Württembergische Landesbibliothek
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek der Eberhard Karls Universität
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Villingen-Schwenningen, Bibliothek
    deGruyter EBS
    keine Fernleihe
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Wilhelmshaven, Bibliothek
    keine Fernleihe
    Hochschule Zittau / Görlitz, Hochschulbibliothek
    keine Fernleihe
    Westsächsische Hochschule Zwickau, Bibliothek
    E-Book De Gruyter
    keine Fernleihe

     

    Diese Einführung in die Logik umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Logische Zusammenhänge werden in Verbindung mit sorgfältig ausgewählten Übungsbeispielen – inklusive Lösungen – einsichtig gemacht. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Texte und Argumente liegt besonderes Augenmerk. Zusammenhänge zwischen alternativen logischen Notationen und Techniken, die anfangs oft Schwierigkeiten bereiten, werden sorgfältig erklärt. Der anschließende Aufbaukurs schlägt die Brücke zwischen einer philosophischen Logikeinführung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer gründlichen Einführung in die volle Prädikatenlogik und ihrer mengentheoretischen Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollständigkeit der Prädikatenlogik, zur Entscheidbarkeit der monadischen und Unentscheidbarkeit der vollen Prädikatenlogik sowie zur Unvollständigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklärt. Abgerundet wird der Band durch zahlreiche Exkurse zur philosophischen Vertiefung logischer Grundlagenfragen. Zahlreiche Übungsbeispiele mit Lösungen zum Download vertiefen den Stoff. Die Lösungen werden ab Oktober 2018 verfügbar sein.

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Herzogin Anna Amalia Bibliothek
    Sprache: Deutsch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783110590630; 9783110590685
    Weitere Identifier:
    RVK Klassifikation: CC 2400
    Schriftenreihe: De Gruyter Studium
    Schlagworte: Logic.; Logik.; semantics.; Semantik.
    Umfang: 1 Online-Ressource (XII, 435 Seiten)
    Bemerkung(en):

    Literaturverzeichnis: Seite 419-423

    :