Automated Development of Fundamental Mathematical Theories - 9780792320210
Jaunums: Jauna, nelasīta, nelietota grāmata ideālā stāvoklī, bez iztrūkstošām vai bojātām lapām. Skatīt ... Lasīt vairāk par stāvokliJaunums: Jauna, nelasīta, nelietota grāmata ideālā stāvoklī, bez trūkstošām vai bojātām lapām. Lai iegūtu pilnu informāciju, skatiet pārdevēja sarakstu. Skatīt visas nosacījumu definīcijas tiek atvērtas jaunā logā vai cilnē
Autors sniedz ievadu automatizētā spriešanā un jo īpaši izšķirtspējas teorēmas pierādīšanā, izmantojot pierādītāju OTTER. Viņš iepazīstina ar jaunu fon Neimaņa-Bernē-Godeļa kopu teorijas klauzulas versiju un uzskaita vairāk nekā 400 teorēmas, kas pusautomātiski pierādītas elementārajā kopu teorijā. Viņš sniedz pusautomātisku pierādījumu tam, ka homomorfismu sastāvs ir homomorfisms, tādējādi risinot izaicinājuma problēmu. Tālāk autors izstrādā Peano aritmētiku un sniedz vairāk nekā 1200 definīcijas un teorēmas elementārajā skaitļu teorijā. Viņš sniedz daļu no aritmētikas pamatteorēmas (unikālas faktorizācijas) pierādījuma, kā arī sniedz Otera ģenerētu pierādījumu Eilera Fermā teorēmas vispārinājumam. Pēc tam viņš izstrādā Tarski ģeometriju OTTER ietvaros. Viņš iegūst pierādījumus par lielāko daļu izaicinājumu problēmu, kas parādās literatūrā, un piedāvā turpmākus izaicinājumus. Pēc tam viņš formalizē modālo loģisko aprēķinu K4, lai iegūtu ļoti augsta līmeņa automatizētus pierādījumus Loba teorēmai un divām Godela nepilnības teorēmām. Visbeidzot viņš piedāvā trīsdesmit vienu neatrisinātu problēmu elementārajā skaitļu teorijā kā izaicinājuma uzdevumus.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Väga heas seisukorras -Raamat, mis on läbi loetud ja ei näe välja uus, kuid on suurepärases seisukorras. Raamatukaanel ei ole ilmseid kahjustusi. Puuduvad või kahjustatud leheküljed, kortsud ega rebendid, teksti allakriipsutus või esiletõstmine ega kirjutis veeristel.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Väga heas seisukorras -Raamat, mis on läbi loetud ja ei näe välja uus, kuid on suurepärases seisukorras. Raamatukaanel ei ole ilmseid kahjustusi. Puuduvad või kahjustatud leheküljed, kortsud ega rebendid, teksti allakriipsutus või esiletõstmine ega kirjutis veeristel.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
17,97 €
Jaunums: Jauna, nelasīta, nelietota grāmata ideālā stāvoklī, bez iztrūkstošām vai bojātām lapām. Skatīt ... Lasīt vairāk par stāvokliJaunums: Jauna, nelasīta, nelietota grāmata ideālā stāvoklī, bez trūkstošām vai bojātām lapām. Lai iegūtu pilnu informāciju, skatiet pārdevēja sarakstu. Skatīt visas nosacījumu definīcijas tiek atvērtas jaunā logā vai cilnē
