Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Contents and treatment are fresh and very different from the standard treatmentsPresents a fully constructive version of what it means to do algebraThe exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader
Bemærk: Kan ikke leveres før jul.
This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework... Læs mere
Bemærk: Kan ikke leveres før jul.
The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the... Læs mere
Bemærk: Kan ikke leveres før jul.
This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language.
Bemærk: Kan ikke leveres før jul.
It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to... Læs mere