Logic and Computation

The present reprint contains five articles accepted and published in the Special Issue “Logic and Computation 2023” of the MDPI “Mathematics” journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-based formal specifi...

Celý popis

Uloženo v:
Podrobná bibliografie
Médium: E-kniha
Jazyk:angličtina
Vydáno: Basel MDPI - Multidisciplinary Digital Publishing Institute 2023
Témata:
3/2-institutions
abstract model theory
algebraic specification
artificial neural network
categorical model theory
category theory
concurrent game structure
description logic
diagram predicate framework
first-order logic
graph conditions
graph constraints
Hopfield neural network
institution
institution theory
linear dynamic logic
logic mining
many-valued truth institutions
Mathematics and Science
model checking
model theory
Reference, Information and Interdisciplinary subjects
Research and information: general
sketch
strategic abilities
strategic logics
stratified institutions
supervised learning
ω-regular properties
ℒ-institutions
ISBN:3036573763, 9783036573779, 3036573771, 9783036573762
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The present reprint contains five articles accepted and published in the Special Issue “Logic and Computation 2023” of the MDPI “Mathematics” journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the reprint will be interesting and useful for those working in the area of applying logic to computing.
ISBN:3036573763
9783036573779
3036573771
9783036573762
DOI:10.3390/books978-3-0365-7377-9