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žené v:
Podrobná bibliografia
Médium: E-kniha
Jazyk:English
Vydavateľské údaje: Basel MDPI - Multidisciplinary Digital Publishing Institute 2023
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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