This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.
The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.
By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.
The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.
By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 2,27 per la spedizione in U.S.A.
Destinazione, tempi e costiEUR 13,79 per la spedizione da Regno Unito a U.S.A.
Destinazione, tempi e costiDa: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9783030916824_new
Quantità: Più di 20 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 45341471-n
Quantità: 15 disponibili
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783030916824
Quantità: 1 disponibili
Da: moluna, Greven, Germania
Condizione: New. Codice articolo 761710402
Quantità: Più di 20 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text. 380 pp. Englisch. Codice articolo 9783030916824
Quantità: 2 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition. Codice articolo 45341471
Quantità: 15 disponibili
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 41187478/2
Quantità: 1 disponibili
Da: Buchpark, Trebbin, Germania
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Codice articolo 41187478/1
Quantità: 2 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. 1st ed. 2022 edition NO-PA16APR2015-KAP. Codice articolo 26396290854
Quantità: 4 disponibili
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Taschenbuch. Condizione: Neu. Neuware -This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch. Codice articolo 9783030916824
Quantità: 2 disponibili