Jouko Väänänen : Matemaattinen logiikka
18,00 €
Varastossa
Vain %1 jäljellä
SKU
P-MATE-A05570
Jouko Väänäsen 'Matemaattinen logiikka' on ensimmäinen suomenkielinen modernin matemaattisen logiikan oppikirja, jossa esitellään alan perustavanlaatuiset kysymykset totuuden, olemassaolon ja päättelyn merkityksestä matematiikassa. Kirja tarkastelee muun muassa tietokoneiden teoreettisia mahdollisuuksia ja rajoituksia sekä aksioomaattisen menetelmän taustaa.
Tämä kirja on ensimmäinen suomenkielinen modernin matemaattisen logiikan oppikirja. Se pyrkii vastaamaan mm. seuraaviin kysymyksiin:
- Mitä tarkoittavat totuus ja olemassaolo matematiikassa?
- Mitä tietokoneella on periaatteessa mahdollista tehdä ja mitä ei?
- Miten rakennetaan malleja teorioille?
- Mistä on kyse Gödelin epätäydellisyyslauseessa?
- Mitä tarkoittaa loogisesti oikea päättely predikaattilogiikassa?
Matemaattisen logiikan uranuurtajat Alan Turing ja Kurt Gödel todistivat 30-luvulla perustulokset tietokoneiden mahdollisuuksista ja rajoituksista. Tämä tapahtui ennen kuin yhtään varsinaista tietokonetta oli rakennettu! Turingin ja Gödelin teoriat ovat tämänkin oppikirjan ydin.
Aiemmin logiikassa tutkittiin ihmisten suorittamia päättelyitä. Kasvava kiinnostus tekoälyyn on nostanut tietokoneilla suoritettavan päättelyn teorian tieteen tutkimuksen kohteeksi. Samalla klassinen logiikan päättelyn teoria on saanut uutta sisältöä.
Vuosisatamme alussa matematiikan filosofinen perusta oli kriisissä. Aksiomaattisen menetelmän käyttö, jota erityisesti David Hilbert ajoi, edusti erästä ulospääsyä. Ensimmäisen kertaluvun teorian ja mallin käsitteet ovat avain aksiomaattisen menetelmän syvällisempään ymmärtämiseen.
- Mitä tarkoittavat totuus ja olemassaolo matematiikassa?
- Mitä tietokoneella on periaatteessa mahdollista tehdä ja mitä ei?
- Miten rakennetaan malleja teorioille?
- Mistä on kyse Gödelin epätäydellisyyslauseessa?
- Mitä tarkoittaa loogisesti oikea päättely predikaattilogiikassa?
Matemaattisen logiikan uranuurtajat Alan Turing ja Kurt Gödel todistivat 30-luvulla perustulokset tietokoneiden mahdollisuuksista ja rajoituksista. Tämä tapahtui ennen kuin yhtään varsinaista tietokonetta oli rakennettu! Turingin ja Gödelin teoriat ovat tämänkin oppikirjan ydin.
Aiemmin logiikassa tutkittiin ihmisten suorittamia päättelyitä. Kasvava kiinnostus tekoälyyn on nostanut tietokoneilla suoritettavan päättelyn teorian tieteen tutkimuksen kohteeksi. Samalla klassinen logiikan päättelyn teoria on saanut uutta sisältöä.
Vuosisatamme alussa matematiikan filosofinen perusta oli kriisissä. Aksiomaattisen menetelmän käyttö, jota erityisesti David Hilbert ajoi, edusti erästä ulospääsyä. Ensimmäisen kertaluvun teorian ja mallin käsitteet ovat avain aksiomaattisen menetelmän syvällisempään ymmärtämiseen.
* Kuvausteksti saattaa koskea teoksen toista versiota. Kuvauksessa mainitut yksityiskohdat, kuten mahdolliset oheistuotteet, eivät välttämättä ole osa valitsemaasi teosta. Valitsemasi teoksen tarkat tiedot löytyvät alla olevasta ominaisuusluettelosta.
| Tuoteryhmä | |
|---|---|
| Tekijä | Jouko Väänänen |
| Teoksen nimi | Matemaattinen logiikka |
| SKU | P-MATE-A05570 |
| Avainsanat | matemaattinen logiikka |