ISBN: 9783662084946
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed b… Meer...
Springer.com new in stock. Verzendingskosten:plus shipping costs., exclusief verzendingskosten Details... |
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed b… Meer...
Springer.com Nr. 978-3-662-08494-6. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. The first many-valued formal systems weredeveloped by J… Meer...
ebooks.com new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
ISBN: 9783662084946
Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Approximation Logic, In… Meer...
Springer.com Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2013, ISBN: 9783662084946
Theoretical Foundations, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2013
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed b… Meer...
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed b… Meer...
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. The first many-valued formal systems weredeveloped by J… Meer...
ISBN: 9783662084946
Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Approximation Logic, In… Meer...
2013, ISBN: 9783662084946
Theoretical Foundations, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2013
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Many-Valued Logics 1
EAN (ISBN-13): 9783662084946
Verschijningsjaar: 2013
Uitgever: Springer Berlin Heidelberg
Boek bevindt zich in het datenbestand sinds 2017-04-25T07:47:18+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-09-04T19:53:02+02:00 (Amsterdam)
ISBN/EAN: 9783662084946
ISBN - alternatieve schrijfwijzen:
978-3-662-08494-6
Gegevens van de uitgever
Auteur: Leonard Bolc; Piotr Borowik
Titel: Many-Valued Logics 1 - Theoretical Foundations
Uitgeverij: Springer; Springer Berlin
288 Bladzijden
Verschijningsjaar: 2013-03-09
Berlin; Heidelberg; DE
Taal: Engels
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XII, 288 p.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Approximation Logic; Intuitionistic Logic; Many-valued Logic; Philosophical Logic; Probability Logic; fuzzy logic; logic; propositional calculus; C; Mathematical Logic and Foundations; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Formal Languages and Automata Theory; Mathematics and Statistics; Mathematische Grundlagen; Theoretische Informatik; Künstliche Intelligenz; BB
1 Preliminaries.- 2 Many-Valued Propositional Calculi.- 3 Survey of Three-Valued Propositional Calculi.- 4 Some n-valued Propositional Calculi: A Selection.- 5 Intuitionistic Propositional Calculus.- 6 First-Order Predicate Calculus for Many-Valued Logics.- 7 The Method of Finitely Generated Trees in n-valued Logical Calculi.- 8 Fuzzy Propositional Calculi.- 9 Approximation Logics.- 10 Probability Logics.- References.- Index of Symbols.- Author Index.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783642081453 Many-Valued Logics 1 (Piotr Borowik)
< naar Archief...