Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Medientyp
Sprache
Region
Erscheinungszeitraum
Person/Organisation
Fachgebiete(RVK)
Zugriff
  • 1
    Buch
    Buch
    San Diego 〈〈[u.a.]〉〉 : Harcourt Acad. Press
    UID:
    b3kat_BV023528851
    Umfang: XII, 317 S. , graph. Darst.
    Ausgabe: 2. ed.
    ISBN: 0122384520
    Inhalt: A Mathematical Introduction to Logic offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Logik ; Mathematik ; Mathematische Logik ; Einführung ; Einführung ; Lehrbuch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Online-Ressource
    Online-Ressource
    San Diego :Harcourt/Academic Press,
    UID:
    almafu_9960072743202883
    Umfang: 1 online resource (330 p.)
    Ausgabe: 2nd ed.
    ISBN: 1-281-01161-4 , 9786611011611 , 0-08-049646-6
    Inhalt: A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets
    Anmerkung: Description based upon print version of record. , Front Cover; A Mathematical Introduction to Logic; Copyright Page; Dedication; Table of Contents; PREFACE; INTRODUCTION; Chapter Zero. Useful Facts about Sets; Chapter One. Sentential Logic; 1.0 Informal Remarks on Formal Languages; 1.1 The Language of Sentential Logic; 1.2 Truth Assignments; 1.3 A Parsing Algorithm; 1.4 Induction and Recursion; 1.5 Sentential Connectives; 1.6 Switching Circuits; 1.7 Compactness and Effectiveness; Chapter Two. First-Order Logic; 2.0 Preliminary Remarks; 2.1 First-Order Languages; 2.2 Truth and Models; 2.3 A Parsing Algorithm; 2.4 A Deductive Calculus , 2.5 Soundness and Completeness Theorems2.6 Models of Theories; 2.7 Interpretations Between Theories; 2.8 Nonstandard Analysis; Chapter Three. Undecidability; 3.0 Number Theory; 3.1 Natural Numbers with Successor; 3.2 Other Reducts of Number Theory; 3.3 A Subtheory of Number Theory; 3.4 Arithmetization of Syntax; 3.5 Incompleteness and Undecidability; 3.6 Recursive Functions; 3.7 Second Incompleteness Theorem; 3.8 Representing Exponentiation; Chapter Four. Second-Order Logic; 4.1 Second-Order Languages; 4.2 Skolem Functions; 4.3 Many-Sorted Logic; 4.4 General Structures , SUGGESTIONS FOR FURTHER READINGLIST OF SYMBOLS; INDEX , English
    Weitere Ausg.: ISBN 0-12-238452-0
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Online-Ressource
    Online-Ressource
    San Diego ; New York ; Boston ; London ; Toronto ; Sydney ; Tokyo :Harcourt/Academic Press,
    UID:
    almafu_BV044383896
    Umfang: 1 Online-Ressource (xii, 317 Seiten) : , Illustrationen, Diagramme.
    Ausgabe: Second edition
    ISBN: 978-0-08-049646-7 , 978-0-12-238452-3
    Anmerkung: Includes bibliographical references (pages 307-308) and index. - A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. * Reduced mathematical rigour to fit the needs of undergraduate students
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-0-12-238452-3
    Sprache: Englisch
    Fachgebiete: Mathematik , Philosophie
    RVK:
    RVK:
    Schlagwort(e): Logik ; Mathematik ; Mathematische Logik ; Einführung ; Einführung
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (URL des Erstveröffentlichers)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Buch
    Buch
    San Diego [u.a.] : Harcourt [u.a.]
    UID:
    gbv_597764867
    Umfang: XII, 317 S. , graph. Darst.
    Ausgabe: 2. ed., [Nachdr.]
    ISBN: 0122384520 , 9780122384523
    Anmerkung: Includes bibliographical references (p. 307 - 308) and index
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Mathematische Logik ; Prädikatenlogik ; Aussagenlogik ; Unentscheidbarkeit ; Einführung ; Lehrbuch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Buch
    Buch
    San Diego [u.a.] :Harcourt Acad. Press,
    UID:
    almahu_BV025516944
    Umfang: XII, 317 S.
    Ausgabe: 2. ed., 5. [pr.]
    ISBN: 978-0-12-238452-3 , 0-12-238452-0
    Sprache: Englisch
    Fachgebiete: Philosophie
    RVK:
    Schlagwort(e): Logik ; Mathematik ; Mathematische Logik ; Einführung
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Buch
    Buch
    San Diego [u.a.] :Harcourt/Acad. Press,
    UID:
    almafu_BV026394921
    Umfang: XII, 317 S. : , Ill., graph. Darst.
    Ausgabe: 2. ed., 3. print.
    ISBN: 0-12-238452-0
    Sprache: Englisch
    Fachgebiete: Mathematik
    RVK:
    Schlagwort(e): Logik ; Mathematik ; Mathematische Logik ; Einführung
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 0520384520?
Meinten Sie 0122368452?
Meinten Sie 0822984520?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz