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...
Đã lưu trong:
| Định dạng: | Online |
|---|---|
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
MDPI - Multidisciplinary Digital Publishing Institute
2023
|
| Những chủ đề: | |
| Truy cập trực tuyến: | ONIX_20230511_9783036573762_122 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| _version_ | 1869531528329953280 |
|---|---|
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-100105 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2023 |
| publishDateRange | 2023 |
| publishDateSort | 2023 |
| publisher | MDPI - Multidisciplinary Digital Publishing Institute |
| publisherStr | MDPI - Multidisciplinary Digital Publishing Institute |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1001052024-03-28T03:32:32Z Logic and Computation Diaconescu, Răzvan strategic abilities ω-regular properties linear dynamic logic strategic logics model checking concurrent game structure supervised learning Hopfield neural network logic mining artificial neural network first-order logic abstract model theory institution sketch algebraic specification description logic graph conditions graph constraints diagram predicate framework institution theory category theory stratified institutions 3/2-institutions categorical model theory model theory many-valued truth institutions ℒ-institutions thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general thema EDItEUR::P Mathematics and Science 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. 2023-05-11T17:21:04Z 2023-05-11T17:21:04Z 2023 book ONIX_20230511_9783036573762_122 9783036573762 9783036573779 https://directory.doabooks.org/handle/20.500.12854/100105 eng image/jpeg Attribution 4.0 International https://mdpi.com/books/pdfview/book/7198 https://mdpi.com/books/pdfview/book/7198 MDPI - Multidisciplinary Digital Publishing Institute 10.3390/books978-3-0365-7377-9 10.3390/books978-3-0365-7377-9 46cabcaa-dd94-4bfe-87b4-55023c1b36d0 9783036573762 9783036573779 194 Basel open access |
| spellingShingle | strategic abilities ω-regular properties linear dynamic logic strategic logics model checking concurrent game structure supervised learning Hopfield neural network logic mining artificial neural network first-order logic abstract model theory institution sketch algebraic specification description logic graph conditions graph constraints diagram predicate framework institution theory category theory stratified institutions 3/2-institutions categorical model theory model theory many-valued truth institutions ℒ-institutions thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general thema EDItEUR::P Mathematics and Science Logic and Computation |
| title | Logic and Computation |
| title_full | Logic and Computation |
| title_fullStr | Logic and Computation |
| title_full_unstemmed | Logic and Computation |
| title_short | Logic and Computation |
| title_sort | logic and computation |
| topic | strategic abilities ω-regular properties linear dynamic logic strategic logics model checking concurrent game structure supervised learning Hopfield neural network logic mining artificial neural network first-order logic abstract model theory institution sketch algebraic specification description logic graph conditions graph constraints diagram predicate framework institution theory category theory stratified institutions 3/2-institutions categorical model theory model theory many-valued truth institutions ℒ-institutions thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general thema EDItEUR::P Mathematics and Science |
| topic_facet | strategic abilities ω-regular properties linear dynamic logic strategic logics model checking concurrent game structure supervised learning Hopfield neural network logic mining artificial neural network first-order logic abstract model theory institution sketch algebraic specification description logic graph conditions graph constraints diagram predicate framework institution theory category theory stratified institutions 3/2-institutions categorical model theory model theory many-valued truth institutions ℒ-institutions thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general thema EDItEUR::P Mathematics and Science |
| url | ONIX_20230511_9783036573762_122 |