Valentin Goranko – författare
Visar alla böcker från författaren Valentin Goranko. Handla med fri frakt och snabb leverans.
20 produkter
Logic as a Tool
A Guide to Formal Logical Reasoning
Häftad, 2024
5,0 utav 5 stjärnor. Totalt antal röster: (1)
321 kr
Lägg i varukorg
Logic as a Tool
A Guide to Formal Logical Reasoning
E-bok, 2016
814 kr
Lägg i varukorg
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It …
Temporal Logics
Häftad, 2023
282 kr
Lägg i varukorg
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving …
Logic and Discrete Mathematics
A Concise Introduction
Av Willem Conradie, Valentin Goranko
Häftad, 2015
583 kr
Lägg i varukorg
A concise yet rigorous introduction to logic and discrete mathematics.This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in …
Logic and Discrete Mathematics
A Concise Introduction
Av Valentin Goranko, Willem Conradie
E-bok, 2015
668 kr
Lägg i varukorg
A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in …
Logic and Discrete Mathematics
A Concise Introduction, Solutions Manual
Av Willem Conradie, Valentin Goranko m. fl.
Häftad, 2015
260 kr
Lägg i varukorg
Solutions manual to accompany http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1118751272.htmlLogic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete …
Logic as a Tool
A Guide to Formal Logical Reasoning
E-bok, 2016
797 kr
Lägg i varukorg
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It …
Logic and Discrete Mathematics
A Concise Introduction
Av Valentin Goranko, Willem Conradie
E-bok, 2015
668 kr
Lägg i varukorg
A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in …
Logic and Discrete Mathematics
A Concise Introduction, Solutions Manual
Av Claudette Robinson, Valentin Goranko m. fl.
E-bok, 2015
293 kr
Lägg i varukorg
Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the …
Logic and Discrete Mathematics
A Concise Introduction, Solutions Manual
Av Claudette Robinson, Valentin Goranko m. fl.
E-bok, 2015
287 kr
Lägg i varukorg
Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the …
Temporal Logics in Computer Science
Finite-State Systems
Av Martin Lange, Valentin Goranko m. fl.
E-bok, 2016
1964 kr
Lägg i varukorg
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most …
Temporal Logics in Computer Science
Finite-State Systems
Av Martin Lange, Valentin Goranko m. fl.
E-bok, 2016
1964 kr
Lägg i varukorg
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most …
Advances in Modal Logic Volume 8
Av Lev Beklemishev, Valentin Goranko m. fl.
Häftad, 2010
300 kr
Lägg i varukorg
Lectures on Logic and Computation
ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Av Nick Bezhanishvili, Valentin Goranko
Häftad, 2012
509 kr
Lägg i varukorg
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers …
Lectures on Logic and Computation
ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Av Valentin Goranko, Nick Bezhanishvili
E-bok, 2012
652 kr
Lägg i varukorg
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers …
Logic, Rationality, and Interaction
10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi’an, China, October 16–19, 2025, Proceedings
Av Valentin Goranko, Chenwei Shi m. fl.
Häftad, 2025
722 kr
Lägg i varukorg
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 10th International Conference on Logic, Rationality, and Interaction, LORI 2025, held in Xi’an, China, in October 2025.The 14 full papers presented in this book were carefully reviewed and selected from 47 …
Logic, Rationality, and Interaction
10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi'an, China, October 16-19, 2025, Proceedings
Av Wei Wang, Chenwei Shi m. fl.
E-bok, 2025
957 kr
Lägg i varukorg
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 10th International Conference on Logic, Rationality, and Interaction, LORI 2025, held in Xi’an, China, in October 2025.The 14 full papers presented in this book were carefully reviewed and selected from 47 …
Temporal Logics in Computer Science
Finite-State Systems
Av Stéphane Demri, Valentin Goranko m. fl.
Inbunden, 2016
1676 kr
Tillfälligt slut
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most …
