| 000 | 02723nam a22004335i 4500 | ||
|---|---|---|---|
| 999 |
_c395886 _d395886 |
||
| 001 | 395886 | ||
| 003 | ES-MaUEC | ||
| 005 | 20240111050235.0 | ||
| 006 | a||||fo|||| 00| 0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230128s2022 sz | s |||| 0|eng d | ||
| 020 | _a9783030916800 | ||
| 024 | 7 |
_a10.1007/978-3-030-91680-0 _2doi |
|
| 040 |
_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC |
||
| 050 | 4 |
_aQA76.9.L63 _b2022 EB |
|
| 100 | 1 |
_aPolkowski, Lech T. _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686276 |
|
| 245 | 1 | 0 |
_aLogics for Computer and Data Sciences, and Artificial Intelligence _cby Lech T. Polkowski |
| 250 | _a1st edition 2022 | ||
| 264 | 1 |
_aCham _bSpringer International Publishing _c2022 |
|
| 300 |
_a1 recurso en línea (XVIII, 362 páginas) _b31 ilustraciones |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_aelectrónico _bc _2rdamedia |
||
| 338 |
_arecurso electrónico _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF |
||
| 490 | 0 |
_aStudies in Computational Intelligence _x1860-9503 _v992 |
|
| 505 | 0 | _aPropositional logic -- First-order logic -- Propositional modal logic -- Epistemic, default and dynamic logics -- Temporal logics -- Many-valued logics -- Approximate reasoning: Rough logics -- Beyond frst-order logics. | |
| 520 | _aThis volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts. The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars. By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text. . | ||
| 988 | _aSpringer_Robotics_2022 | ||
| 650 | 7 |
_2embne _9139573 _aLógica |
|
| 650 | 7 |
_2embne _aInteligencia artificial _9413115 |
|
| 776 | 0 | 8 |
_iPrinted edition: _z9783030916794 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030916817 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030916824 |
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-91680-0 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 |
_2lcc _cLE |
||
| 998 |
_b01/2023 _dz _eIG _zSI |
||