Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements. The suggested implementation of multi-valu...Loe edasi...
Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements. The suggested implementation of multi-valu...Loe edasi...
This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering excellent use...Loe edasi...
This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering excellent use...Loe edasi...
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Sari: Computer Science Foundations and Applied Logic
(Ilmumisaeg: 09-Jul-2024, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031556081)
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing inter...Loe edasi...
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Sari: Computer Science Foundations and Applied Logic
(Ilmumisaeg: 09-Jul-2024, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031556081)
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing inter...Loe edasi...
This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The book introd...Loe edasi...
This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The book introd...Loe edasi...
Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems may be very complex, they may sometimes...Loe edasi...
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explain...Loe edasi...
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explain...Loe edasi...
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a clas...Loe edasi...
