Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Zeige Ergebnisse 1 bis 25 von 93.

  1. Logik, Semantik, Hermeneutik
    Erschienen: 1979
    Verlag:  Beck, München

    Kammergericht, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3406040497
    RVK Klassifikation: CC 4800 ; CC 2500 ; PI 3020 ; ER 620 ; CC 2400
    Schriftenreihe: Beck'sche Elementarbücher
    Schlagworte: Logik; Hermeneutik; Philosophie; Mathematische Logik; Sprachtheorie;
    Umfang: 231 S., graph. Darst., 23 cm
    Bemerkung(en):

    Literaturverz. S. 211 - 217

  2. The logician and the engineer
    how George Boole and Claude Shannon created the information age
    Autor*in: Nahin, Paul J.
    Erschienen: c2013
    Verlag:  Princeton University Press, Princeton

    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9781283578783; 9781400844654
    Weitere Identifier:
    RVK Klassifikation: SR 800
    Schlagworte: Computer logic; Electrical engineers; Logicians; Mathematische Logik; Informationstheorie; Computer; Informationsgesellschaft; Informationsgesellschaft <Motiv>
    Weitere Schlagworte: Boole, George (1815-1864); Shannon, Claude Elwood (1916-2001); Shannon, Claude Elwood (1916-2001); Boole, George (1815-1864)
    Umfang: 1 Online-Ressource (xii, 228 p)
    Bemerkung(en):

    Includes bibliographical references and index

    Boolean algebra, also called Boolean logic, is at the heart of the electronic circuitry in everything we use--from our computers and cars, to our kitchen gadgets and home appliances. How did a system of mathematics established in the Victorian era become the basis for such incredible technological achievements a century later? In The Logician and the Engineer, best-selling popular math writer Paul Nahin combines engaging problems and a colorful historical narrative to tell the remarkable story of how two men in different eras--mathematician and philosopher George Boole (1815-1864) an

  3. Beyond constructivism, ontological realism, and empiricism
    Keynes's economic theory
    Erschienen: 1998
    Verlag:  Fachbereich Wirtschaftswiss. der FU, Berlin

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9783933225450; 3933225450
    DDC Klassifikation: Wirtschaft (330); Handel, Kommunikation, Verkehr (380); Management und unterstützende Tätigkeiten (650); Industrielle Fertigung (670)
    Schriftenreihe: Diskussionsbeiträge des Fachbereichs Wirtschaftswissenschaft der Freien Universität Berlin ; Nr. 1998,51 : Volkswirtschaftliche Reihe
    Schlagworte: Wissenschaft; Methode; Keynessche Theorie; Mathematische Logik; Fuzzy-Logik; Fuzzy-Menge; Theorie
    Weitere Schlagworte: (stw)Wissenschaftliche Methode; (stw)Keynesianismus; (stw)Logik; (stw)Fuzzy-Set-Theorie; (stw)Theorie; Arbeitspapier; Graue Literatur; Buch
    Umfang: 21 S., 30 cm
  4. A structuralist theory of logic
    Autor*in: Koslow, Arnold
    Erschienen: 1992
    Verlag:  Cambridge Univ. Press, Cambridge u.a.

    Professor Koslow advances a new account of the basic concepts of logic. A central feature of the theory is that is does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of... mehr

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    Professor Koslow advances a new account of the basic concepts of logic. A central feature of the theory is that is does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple but insightful way. The study has four parts. In the first two parts the various sources of the general concept of an implication structure and its forms are illustrated and explained. Part III defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is followed by a substantial treatment of the extensionality of each of the operators, as well as the relation of negation and its dual, because of the novel results they yield. Part IV considers modal operators and examines their interactions with logical operators. By obtaining the usual results without the usual assumptions, this new approach allows one to give a very simple account of modal logic, minus the excess baggage of possible world semantics. The book is aimed at philosophers, logicians, mathematicians, linguists, and computer scientists. It will be accessible to advanced undergraduates and graduates in those fields.

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Philologische Bibliothek, FU Berlin
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0521412676
    RVK Klassifikation: CC 2600
    Auflage/Ausgabe: 1. publ.
    Schlagworte: Implication (Logique); Logica; Logique symbolique et mathématique; Modale logica; Operatoren; Structuralisme; Logik; Implication (Logic); Logic, Symbolic and mathematical; Structuralism; Mathematische Logik; Logik; Strukturalismus
    Umfang: XI, 418 S., graph. Darst.
  5. Logisch-philosophische Untersuchungen zu philosophie-historischen Themen
    von Platon und Aristoteles zu Wittgenstein und Popper
    Erschienen: 1996
    Verlag:  Lang, Frankfurt am Main [u.a.]

    Universitäts- und Landesbibliothek Düsseldorf
    phig018.w423
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Köln, Philosophisches Seminar, Bibliothek
    401/Gg:9445
    keine Fernleihe
    Universitätsbibliothek der RPTU in Landau
    fil 47-79
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitäts- und Landesbibliothek Münster
    3F 21223
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Siegen
    21HIV1111
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3631494149
    RVK Klassifikation: EC 2430 ; CD 1120
    Schriftenreihe: Veröffentlichungen des Internationalen Forschungszentrums für Grundfragen der Wissenschaften Salzburg ; N.F., 68
    Schlagworte: Mathematische Logik; Philosophie; Problem
    Umfang: 350 S.
    Bemerkung(en):

    Literaturverz. S. 323 - 340

  6. A structuralist theory of logic
    Autor*in: Koslow, Arnold
    Erschienen: 1992
    Verlag:  Cambridge Univ. Press, Cambridge [u.a.]

    Universitätsbibliothek Bielefeld
    BD200 )K86
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    10.2 82.1
    keine Fernleihe
    Universität Bonn, Institut für Philosophie, Bibliothek
    D 2750/50
    keine Fernleihe
    Universität Bonn, Fachbibliothek Mathematik
    KOS
    keine Fernleihe
    Universitätsbibliothek Duisburg-Essen
    HLF1919
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    14A9699
    Ausleihe von Bänden möglich, keine Kopien
    Institut für Mathematikdidaktik, Bibliothek
    315/1Q156
    keine Fernleihe
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    L Kosl
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Gemeinschaftsbibliothek der Katholisch-Theologischen Fakultät, Abteilung Johannisstr.
    Ph:Q/I-61
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Institut für Ethik, Geschichte und Theorie der Medizin, Bibliothek
    38 K 970
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Paderborn
    HLH2703
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Wuppertal
    HLF2630
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0521412676
    RVK Klassifikation: CC 2600
    Schlagworte: Logik; Mathematische Logik; Strukturalismus
    Umfang: XI, 418 S., graph. Darst.
  7. Grundlagen der Synthese des Absoluten
    Autor*in: Laufer, Theodor
    Erschienen: 1979
    Verlag:  Richarz, Sankt Augustin

    Universitäts- und Landesbibliothek Bonn
    79/6964
    Ausleihe von Bänden möglich, keine Kopien
    Universitäts- und Landesbibliothek Düsseldorf
    phi/b2065
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Trier
    b20119
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3921255996
    Schlagworte: Das Absolute; Physik; Mathematische Logik
    Umfang: 294 S., graph. Darst.
  8. A structuralist theory of logic
    Autor*in: Koslow, Arnold
    Erschienen: 1992
    Verlag:  Cambridge Univ. Press, Cambridge [u.a.]

    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    02/CC 2600 K86
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0521412676
    RVK Klassifikation: CC 2600
    Schlagworte: Logik; Mathematische Logik; Strukturalismus
    Umfang: XI, 418 S.
    Bemerkung(en):

    Literaturverz. S. 410 - 411

  9. Konzeptionelle Perspektiven von Arbeit in der digitaliserten Logistik

    Zugang:
    Verlag (kostenfrei)
    Technische Hochschule Bingen, Bibliothek
    keine Fernleihe
    Bibliothek der Hochschule Darmstadt, Zentralbibliothek
    keine Fernleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    keine Fernleihe
    Bibliothek der Frankfurt University of Applied Sciences
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    keine Fernleihe
    Hochschul- und Landesbibliothek Fulda, Standort Heinrich-von-Bibra-Platz
    keine Fernleihe
    Technische Hochschule Mittelhessen, Hochschulbibliothek Gießen
    keine Fernleihe
    Universitätsbibliothek Gießen
    keine Fernleihe
    Universitätsbibliothek Kassel, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    keine Fernleihe
    Bibliothek der Hochschule Mainz, Untergeschoss
    keine Fernleihe
    Martinus-Bibliothek, Wissenschaftliche Diözesanbibliothek
    keine Fernleihe
    Universität Mainz, Zentralbibliothek
    keine Fernleihe
    Universität Marburg, Universitätsbibliothek
    keine Fernleihe
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Kopp, Ralf (Herausgeber); Ittermann, Peter (Herausgeber)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Online
    Weitere Identifier:
    hdl: 2003/37825
    DDC Klassifikation: Management und unterstützende Tätigkeiten (650)
    Schriftenreihe: Soziologische Arbeitspapiere ; 55
    Schlagworte: Mathematische Logik; Erzählperspektive; Sozialtechnologie
    Umfang: Online-Ressource
  10. A structuralist theory of logic
    Autor*in: Koslow, Arnold
    Erschienen: 1992
    Verlag:  Cambridge University Press, Cambridge

    In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of... mehr

    Universität Frankfurt, Elektronische Ressourcen
    /
    keine Fernleihe
    Universitätsbibliothek Gießen
    keine Fernleihe
    Universitätsbibliothek Kassel, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    keine Fernleihe

     

    In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual, are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics.

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780511609206
    RVK Klassifikation: CC 2600
    Schlagworte: Logik; Mathematische Logik; Strukturalismus
    Umfang: 1 Online-Ressource (xi, 418 pages)
    Bemerkung(en):

    Title from publisher's bibliographic system (viewed on 05 Oct 2015)

  11. Komplexe Dynamiken in Max Webers Schriften zur Logik und Methodik der Sozialwissenschaften
    Von Prügelknaben, Gefährten und dem Nutzen der neuen Edition
    Erschienen: 2019
    Verlag:  Universitätsbibliothek der RWTH Aachen, Aachen

    Technische Hochschule Bingen, Bibliothek
    keine Fernleihe
    Bibliothek der Hochschule Darmstadt, Zentralbibliothek
    keine Fernleihe
    Evangelische Hochschule Darmstadt, Bibliothek
    keine Fernleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    keine Fernleihe
    Bibliothek der Frankfurt University of Applied Sciences
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    keine Fernleihe
    Bibliothek des Bischöflichen Priesterseminars
    keine Fernleihe
    Hochschul- und Landesbibliothek Fulda, Standort Heinrich-von-Bibra-Platz
    keine Fernleihe
    Technische Hochschule Mittelhessen, Hochschulbibliothek Gießen
    keine Fernleihe
    Universitätsbibliothek Gießen
    keine Fernleihe
    Universitätsbibliothek Kassel, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    keine Fernleihe
    Akademie der Wissenschaften und der Literatur, Bibliothek
    keine Fernleihe
    Bibliothek der Hochschule Mainz, Untergeschoss
    keine Fernleihe
    LEIZA - Leibniz-Zentrum für Archäologie, Bibliothek
    keine Fernleihe
    Martinus-Bibliothek, Wissenschaftliche Diözesanbibliothek
    keine Fernleihe
    Universität Mainz, Zentralbibliothek
    keine Fernleihe
    Evangelische Hochschule Tabor, Bibliothek
    keine Fernleihe
    Universität Marburg, Universitätsbibliothek
    keine Fernleihe
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Online
    Weitere Identifier:
    DDC Klassifikation: Sozialwissenschaften (300)
    Schlagworte: Mathematische Logik; Sozialwissenschaften; Edition
    Weitere Schlagworte: Weber, Max (1864-1920); Knies, Karl (1821-1898)
    Umfang: 1 Online-Ressource
    Bemerkung(en):

    In: Bamberg : DGS, Deutsche Gesellschaft für Soziologie, 2019, Seiten/Artikel-Nr:1-12

  12. Wörterbuch der Logik
    Erschienen: 1978
    Verlag:  Bibliogr. Inst., Leipzig

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Zentrum für Literatur- und Kulturforschung
    Beteiligt: Albrecht, Erhard (Hrsg.); Asser, Günther (Hrsg.); Hecker, Hans-Dietrich
    Medientyp: Buch (Monographie)
    Auflage/Ausgabe: 1. Aufl.
    Schlagworte: Logik; Mathematische Logik
    Umfang: 554 S.
    Bemerkung(en):

    Literaturverz. S. 551 - 554

  13. Logik-Texte: kommentierte Auswahl zur Geschichte der modernen Logik
    Erschienen: 1971
    Verlag:  Akademie-Verl., Berlin

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Zentrum für Literatur- und Kulturforschung
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Schlagworte: Mathematische Logik; Geschichte 1638-1963
    Umfang: XVII, 559 S. : Ill.
    Bemerkung(en):

    Literaturangaben

  14. Moderne Logik: Abriß der formalen Logik
    Autor*in: Klaus, Georg
    Erschienen: 1972
    Verlag:  Dt. Verlag d. Wiss., Berlin

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Zentrum für Literatur- und Kulturforschung
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Auflage/Ausgabe: 6., erw. Aufl.
    Schlagworte: Mathematische Logik
    Umfang: XIII, 501 S.
  15. Philosophie der Logik
    Erschienen: 1984
    Verlag:  Alber, Freiburg [u.a.]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Zentrum für Literatur- und Kulturforschung
    Medientyp: Buch (Monographie)
    ISBN: 3-495-47474-9
    Schriftenreihe: Handbuch Philosophie
    Schlagworte: Logik; Mathematische Logik
    Umfang: 364 S.
    Bemerkung(en):

    Literaturverz. S. 319 - 351

  16. The man who knew too much
    Alan Turing and the invention of the computer
    Autor*in: Leavitt, David
    Erschienen: 2007
    Verlag:  Phoenix, London

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Zentrum für Literatur- und Kulturforschung
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 978-0-7538-2200-5; 0-393-05236-2
    Auflage/Ausgabe: Paperback ed.
    Schriftenreihe: Great discoveries
    Schlagworte: Informatik; Mathematische Logik; Geschichte 1901-2000
    Weitere Schlagworte: Turing, Alan Mathison
    Umfang: 319 S. : Ill.
  17. Logic in linguistics
    Autor*in: Allwood, Jens
    Erschienen: 1977
    Verlag:  Cambridge University Press, Cambridge

    An elementary introduction to formal logic, particularly intended for linguists and others interested in languages. Concepts and theories developed within formal logic for the study of artificial languages have for some time been fruitfully applied... mehr

    Universitätsbibliothek Bamberg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bayerische Staatsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    An elementary introduction to formal logic, particularly intended for linguists and others interested in languages. Concepts and theories developed within formal logic for the study of artificial languages have for some time been fruitfully applied to the study of natural languages and some knowledge of them is necessary for students of linguists (especially semantics). With this need in mind the authors offer a clear, succinct and basic introduction to set theory, inference, propositional and predicate logic, deduction, modal and intensional logic, and various concomitant extensions of these. There is a discussion too of the relation between linguistics and logical analysis and between logic and natural language. The authors see increasing scope for co-operation between logicians and linguistics in studying the structure of language, and it is the overall aim of the book to promote this co-operation

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (URL des Erstveröffentlichers)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780511621017
    Weitere Identifier:
    RVK Klassifikation: ER 620 ; ES 200
    Schriftenreihe: Cambridge textbooks in linguistics
    Schlagworte: Linguistik; Philosophie; Sprache; Language and languages / Philosophy; Logic; Linguistics; Logik; Linguistik; Mathematische Logik; Strukturelle Linguistik; Sprache
    Umfang: 1 online resource (x, 185 pages)
    Bemerkung(en):

    Title from publisher's bibliographic system (viewed on 05 Oct 2015)

    Preface -- 1. Logic for linguists -- 2. Set theory -- 3. Inference and logical analysis of sentences -- 4. Propositional logic -- 5. Predicate logic -- 6. Deduction -- 7. Modal logic -- 8. Intensional logic and categorial grammar -- Further extensions

  18. A structuralist theory of logic
    Autor*in: Koslow, Arnold
    Erschienen: 1992
    Verlag:  Cambridge University Press, Cambridge

    In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of... mehr

    Universitätsbibliothek Bamberg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bayerische Staatsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual, are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (URL des Erstveröffentlichers)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780511609206
    Weitere Identifier:
    RVK Klassifikation: CC 2500 ; CC 2600 ; SK 130
    Schlagworte: Logic, Symbolic and mathematical; Implication (Logic); Structuralism; Strukturalismus; Mathematische Logik; Logik; Belnap-Programm
    Umfang: 1 online resource (xi, 418 pages)
    Bemerkung(en):

    Title from publisher's bibliographic system (viewed on 05 Oct 2015)

  19. The logician and the engineer
    how George Boole and Claude Shannon created the information age
    Autor*in: Nahin, Paul J.
    Erschienen: [2012]
    Verlag:  Princeton University Press, Princeton

    Ostbayerische Technische Hochschule Amberg-Weiden / Hochschulbibliothek Amberg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Bundeswehr München, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Ostbayerische Technische Hochschule Amberg-Weiden, Hochschulbibliothek, Standort Weiden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9781400844654; 1400844657; 9780691151007; 0691151008; 1283578786; 9781283578783
    Schlagworte: MATHEMATICS / History & Philosophy; COMPUTERS / History; Geschichte; Logicians; Electrical engineers; Computer logic; Informationsgesellschaft <Motiv>; Informationstheorie; Computer; Mathematische Logik; Informationsgesellschaft
    Weitere Schlagworte: Boole, George / 1815-1864; Shannon, Claude Elwood / 1916-2001; Boole, George (1815-1864); Shannon, Claude Elwood (1916-2001); Boole, George (1815-1864); Shannon, Claude Elwood (1916-2001)
    Umfang: 1 Online-Ressource
    Bemerkung(en):

    Includes bibliographical references and index

    George Boole and Claude Shannon : two mini-biographies -- Boolean algebra -- Logical switching circuits -- Boole, Shannon, and probability -- Some combinatorial design logic examples -- Sequential-state digital circuits -- Turing machines -- Beyond Boole and Shannon -- For the future : the anti-amphibological machine

    Boolean algebra, also called Boolean logic, is at the heart of the electronic circuitry in everything we use--from our computers and cars, to our kitchen gadgets and home appliances. How did a system of mathematics established in the Victorian era become the basis for such incredible technological achievements a century later? In The Logician and the Engineer , best-selling popular math writer Paul Nahin combines engaging problems and a colorful historical narrative to tell the remarkable story of how two men in different eras--mathematician and philosopher George Boole (1815-1864) and electrical engineer and pioneering information theorist Claude Shannon (1916-2001)--advanced Boolean logic and became founding fathers of the electronic communications age. Presenting the dual biographies of Boole and Shannon, Nahin examines the history of Boole's innovative ideas, and considers how they led to Shannon's groundbreaking work on electrical relay circuits and information theory. Along the way, Nahin presents logic problems for readers to solve and talks about the contributions of such key players as Georg Cantor, Tibor Rado, and Marvin Minsky--as well as the crucial role of Alan Turing's "Turing machine"--In the development of mathematical logic and data transmission. Nahin takes readers from fundamental concepts to a deeper and more sophisticated understanding of how a modern digital machine such as the computer is constructed. Nahin also delves into the newest ideas in quantum mechanics and thermodynamics in order to explore computing's possible limitations in the twenty-first century and beyond. The Logician and the Engineer shows how a form of mathematical logic and the innovations of two men paved the way for the digital technology of the modern world

  20. Logik in den Wissenschaften
    Beteiligt: Klimczak, Peter (Hrsg.); Zoglauer, Thomas (Hrsg.)
    Erschienen: [2017]
    Verlag:  mentis, Münster

    Hochschule Kempten, Hochschulbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule Landshut, Hochschule für Angewandte Wissenschaften, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der LMU München
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Evangelische Hochschule Nürnberg, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Hochschulbibliothek Rosenheim
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Klimczak, Peter (Hrsg.); Zoglauer, Thomas (Hrsg.)
    Sprache: Deutsch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783957438355
    RVK Klassifikation: CC 2400
    DDC Klassifikation: Philosophie und Psychologie (100)
    Schlagworte: Interdisziplinarität; Mathematische Logik
    Weitere Schlagworte: Logik; Modellbildung; Theoriebildung; formale Logik; Philosophie
    Umfang: 1 Online-Ressource (343 Seiten), Diagramme
  21. To mock a mockingbird
    and other logic puzzles including an amazing adventure in combinatory logic
    Erschienen: 1985
    Verlag:  Alfred A. Knopf, New York

    In this entertaining and challenging new collection of logic puzzles, Raymond Smullyan'author of What Is the Name of This Book' And The Lady or the Tiger''continues to delight and astonish us with his gift for making available, in the thoroughly... mehr

    Zugang:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    In this entertaining and challenging new collection of logic puzzles, Raymond Smullyan'author of What Is the Name of This Book' And The Lady or the Tiger''continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle (a puzzle about a puzzle), in which Inspector Craig of Scotland Yard gets involved in a search of the Fountain of Youth on the Island of Knights and Knaves. In the second and larger section, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence). His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and'thanks to GOdel's famous theorem'the final revelation. To Mock a Mockingbird will delight all puzzle lovers'the curious neophytes as well as the serious students of logic, mathematics, or computer science

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780307819796; 0307819795
    Schriftenreihe: A Knopf ebook
    Schlagworte: Mathematisches Spiel; Unterhaltungsmathematik; Kombinatorische Logik; Computerspiel; Mathematische Logik
    Weitere Schlagworte: Games; GAMES / Logic & Brain Teasers; GAMES / Reference; GAMES / Travel Games; Games; Electronic books
    Umfang: 1 Online-Ressource
  22. Schriften zur Modellforschung
    Autor*in: Mahr, Bernd
    Erschienen: 2021
    Verlag:  Brill/mentis, Paderborn

    Universitätsbibliothek der LMU München
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Bundeswehr München, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Würzburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (URL des Erstveröffentlichers)
    Quelle: Verbundkataloge
    Beteiligt: Robering, Klaus (Hrsg.)
    Sprache: Englisch; Deutsch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783969752326
    Weitere Identifier:
    RVK Klassifikation: MR 5400 ; CC 2600 ; SK 130
    Schlagworte: Mathematische Logik; Künste; Modelltheorie; Modell; Wissenschaft
    Weitere Schlagworte: Informatik; Kunstgeschichte; Logik; Modelltheorie; Unified Modeling Language; Wissenschaftstheorie; aesthetics; art theory; computer science; epistemology; logic; model theory; Ästhetik
    Umfang: 1 Online-Ressource (381 Seiten), Illustrationen, Diagramme
  23. Schriften zur Modellforschung
    Autor*in: Mahr, Bernd
    Erschienen: 2021
    Verlag:  mentis, Paderborn

    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentralinstitut für Kunstgeschichte, Bibliothek
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Robering, Klaus (Hrsg.)
    Sprache: Englisch; Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 9783957432322; 3957432324
    Weitere Identifier:
    9783957432322
    RVK Klassifikation: CC 2600 ; MR 5400 ; SK 130
    Schlagworte: Modelltheorie; Modell; Künste; Wissenschaft; Mathematische Logik
    Weitere Schlagworte: Informatik; Kunstgeschichte; Logik; Modelltheorie; Unified Modeling Language; Wissenschaftstheorie; aesthetics; art theory; computer science; epistemology; logic; model theory; Ästhetik
    Umfang: 381 Seiten, 11 Illustrationen, 23 Illustrationen, 56 Diagramme, 23.5 cm x 15.5 cm, 1 g
  24. Logik, Semantik, Hermeneutik
    Erschienen: 1979
    Verlag:  Beck, München

    Kammergericht, Bibliothek
    Ac 1250
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Braunschweig
    2547-8507
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Braunschweig
    Kf 6130
    keine Fernleihe
    Staats- und Universitätsbibliothek Bremen
    03.h.2342
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    ER 620 W423
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leihverkehrs- und Ergänzungsbibliothek
    PHIL 45 W SG
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    ER 620 W423
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Freiburg
    GE 79/6337
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Fachbereichsbibliothek Philosophie und Erziehungswissenschaft, Abteilung Philosophie
    Frei 32: TN 1836 LOG 1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Freiburg, Bibliotheken der Rechtswissenschaftlichen Fakultät
    Frei 9: RC 6/191,b
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Greifswald
    310/CC 4800 W423
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    79 A 18366
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    6 : P 79/ 134
    keine Fernleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    K-1 4/378
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    08.34/56
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    PHL 917.7:T0001
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    A 1980/9645
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    B 582
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    BA 671
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    V s 666
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    RPh/PI 3020 W423 L83
    keine Fernleihe
    Bibliothek der Hochschule Hannover
    P 0/1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    79/7456
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsischer Landtag, Bibliothek
    79.987
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    79-3456
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    SI 590
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Forschungsstätte der Evangelischen Studiengemeinschaft, Bibliothek
    2862 Wein/LSH
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Heidelberg
    79 B 5038
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    120 Wei C
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Juristischen Fakultät
    JU/PI 3020 W423
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Germanistisches Seminar der Universität, Bibliothek
    LOG 1 WEI 282/1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Campusbibliothek Bergheim der Universität
    WS/CC 4800 W423
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Hildesheim
    53016
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    PHI:CC:180:::1979
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Badische Landesbibliothek
    80 A 16741
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliothek des Bundesgerichtshofs
    A 15235/5000
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    2005 A 5749
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Ag 7666
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    425.8 | WEI | Log
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    II A 6-w 3
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    S 1 wei 00
    keine Fernleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    phc 260/t79b
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Pädagogische Hochschulbibliothek Ludwigsburg
    Spra 2bb Wei
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Wissenschaftliche Regionalbibliothek Lörrach
    DE-9.2-22
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    2011.07990:1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    MA 284
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    500 CC 4800 W423
    keine Fernleihe
    Universitätsbibliothek Mannheim
    A 45/053
    keine Fernleihe
    Universitätsbibliothek Mannheim
    AH 3654
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Deutsches Literaturarchiv Marbach, Bibliothek
    C7
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Diözesanbibliothek Münster
    88:0264
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    phi 917.7 AN 4507
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Landesbibliothek Oldenburg
    79-3423
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Osnabrück
    4133-354 5
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Rostock
    97 A 4878
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Saarländische Universitäts- und Landesbibliothek
    80-3958
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Deutsch-Europäisches Juridicum
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität des Saarlandes, Fachrichtung Philosophie, Bibliothek
    LOG 1979 WEI
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität des Saarlandes, Fachrichtung Germanistik, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Stuttgart
    3L 6922
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Württembergische Landesbibliothek
    29/17759
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Evangelisches Stift, Bibliothek
    24 351
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der Eberhard Karls Universität
    19 A 17218
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brechtbau-Bibliothek
    GD 300.360
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Philosophisches Seminar, Bibliothek
    D 4/1979,5
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Juristisches Seminar, Bibliothek
    C,IIc,315
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Institute für Erziehungswissenschaft
    Dd 120
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Vechta
    HLRGwei = 108452
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Herzog August Bibliothek Wolfenbüttel
    31.3462
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3406040497
    RVK Klassifikation: CC 4800 ; CC 2500 ; PI 3020 ; ER 620 ; CC 2400
    Schriftenreihe: Beck'sche Elementarbücher
    Schlagworte: Logik; Hermeneutik; Philosophie; Mathematische Logik; Sprachtheorie;
    Umfang: 231 S., graph. Darst., 23 cm
    Bemerkung(en):

    Literaturverz. S. 211 - 217

  25. A structuralist theory of logic
    Autor*in: Koslow, Arnold
    Erschienen: 2005
    Verlag:  Cambridge University Press, Cambridge ; New York ; Melbourne

    Ruhr-Universität Bochum, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780511609206
    Weitere Identifier:
    Auflage/Ausgabe: Digitally printed first paperback version
    Schlagworte: Folgerung; Strukturalismus; Philosophie; Mathematische Logik; Logik; Modallogik
    Umfang: 1 Online-Ressource (xi, 418 Seiten)