Automated Development of Fundamental Mathematical Theories - 9780792320210
Nauja: Nauja, neskaityta, nenaudota idealios būklės knyga, be trūkusių ar pažeistų puslapių. Žiūrėti ... Skaityti daugiau apie būklęNauja: Nauja, neskaityta, nenaudota puikios būklės knyga, be trūkusių ar pažeistų puslapių. Išsamią informaciją rasite pardavėjo sąraše. Peržiūrėti visus sąlygų apibrėžimus atsidaro naujame lange arba skirtuke
Autorius pateikia įvadą į automatizuotą samprotavimą, o ypač į skiriamosios gebos teoremos įrodinėjimą naudojant įrodinėjimą OTTER. Jis pristato naują fon Neumanno-Bernayso-Godelio aibių teorijos sąlyginę versiją ir išvardija daugiau nei 400 teoremų, kurias pusiau automatiškai įrodė elementarioji aibių teorija. Jis pateikia pusiau automatizuotą įrodymą, kad homomorfizmų sudėtis yra homomorfizmas, taip išspręsdamas iššūkio problemą. Toliau autorius plėtoja Peano aritmetiką ir pateikia daugiau nei 1200 elementariosios skaičių teorijos apibrėžimų ir teoremų. Jis pateikia dalį pagrindinės aritmetikos teoremos (unikalios faktorinizacijos) įrodymo ir pateikia OTTERio sukurtą Eulerio Ferma teoremos apibendrinimo įrodymą. Tada jis sukuria Tarskio geometriją OTTER. Jis gauna daugumos literatūroje pasitaikančių iššūkių įrodymų ir siūlo tolesnius iššūkius. Tada jis formalizuoja modalinį loginį skaičiavimą K4, kad gautų labai aukšto lygio automatizuotus Lobo teoremos ir dviejų Godelio neužbaigtumo teoremų įrodymus. Galiausiai jis siūlo trisdešimt vieną neišspręstą elementariosios skaičių teorijos uždavinį kaip iššūkio problemas.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Labai geros būklės-Knyga, kuri buvo perskaityta ir neatrodo nauja, bet yra puikios būklės. Ant knygos viršelio nėra akivaizdžių pažeidimų. Jokių trūkstamų ar pažeistų puslapių, jokių raukšlių ar įplyšimų, teksto pabraukimo ar paryškinimo ir paraščių paraštėse.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Labai geros būklės-Knyga, kuri buvo perskaityta ir neatrodo nauja, bet yra puikios būklės. Ant knygos viršelio nėra akivaizdžių pažeidimų. Jokių trūkstamų ar pažeistų puslapių, jokių raukšlių ar įplyšimų, teksto pabraukimo ar paryškinimo ir paraščių paraštėse.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
17,97 €
Nauja: Nauja, neskaityta, nenaudota idealios būklės knyga, be trūkusių ar pažeistų puslapių. Žiūrėti ... Skaityti daugiau apie būklęNauja: Nauja, neskaityta, nenaudota puikios būklės knyga, be trūkusių ar pažeistų puslapių. Išsamią informaciją rasite pardavėjo sąraše. Peržiūrėti visus sąlygų apibrėžimus atsidaro naujame lange arba skirtuke
