9631628701
| dc.date.accessioned | 2008-12-06T03:43:08Z | |
| dc.date.available | 2008-12-06T03:43:08Z | |
| dc.description.abstract | Az utóbbi évtizedekben a számítógépek és a számítástudomány elterjedésének köszönhetően a matematikai logika alkalmazott tudománnyá vált. Míg a XX. század elején a matematikai logika az egyik fő tényezője volt annak a matematikában bekövetkezett nagy átalakulásnak, amelyet a "matematika forradalmaként" szokás emlegetni, addig a századvégen már az informatikai forradalommal összefüggésben került a kutatások előterébe. A matematikai logika az elméleti számítástudomány egyfajta "nyelvévé" vált, számos fogalma az elméleti számítástudománynak is alapfogalma (szintaktika, szemantika, modell, kiszámíthatóság stb.).Ez a könyv bevezetés a matematikai logikába. Alapokat nyújt az alkalmazók, a matematikusok, informatikusok, mérnökök, nyelvészek számára, általában olyan területek művelőinek, akik számára a matematikai logika témaköre ma már megkerülhetetlen. Ilyen területek többek között a mesterséges intelligencia, a programozáselmélet, az adatbázis-elmélet, a matematikai nyelvészet. A könyvben található ismeretanyag elsajátítását bőséges feladatanyag segíti. A matematikai logika a matematika eszközeinek segítségével kutatja többek között azokat a határokat, ameddig eljuthat a gépi gondolkodás, de amelyek után már az intuitív gondolkodásé a fő szerep. | hu |
| dc.identifier.bibid | bibKLT00320564 | hu |
| dc.identifier.isbn | 9631628701 | hu |
| dc.identifier.opac | http://webpac.lib.unideb.hu:8082/WebPac/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+bibKLT00320564 | hu |
| dc.identifier.uri | http://hdl.handle.net/2437/46122 | |
| dc.title | 9631628701 | hu |