NA LOGIČKI POGON

Martin Davis

IzdavačJesenski i Turk
Žanr Nauka, Popularna nauka, Stručna literatura

1.090 rsd

1.199 rsd

Ušteda 109 rsd (9%)

Sve cene su sa uračunatim PDV-om.

"Temu ove knjige čine ideje koje su omogućile stvaranje modernih računala i ljudi koji su te ideje razvijali.

Netom nakon što sam završio doktorat iz matematičke logike na Sveučilištu Princeton, u proljeće 1951. godine, predavao sam na Sveučilištu Illinois. Predavanja su se temeljila na Turingovim zamislima. Na istom sveučilištu radio je i sam Turing jedno desetljeće prije mene. Moja predavanja je pohađao jedan mladi matematičar koji me upozorio da se u ulici nasuprot učionice upravo konstruiraju dva stroja za koja je bio uvjeren da su nastala na osnovu Turingovih zamisli. Ubrzo sam počeo pisati programe za ta prva računala. Pola stoljeća sam se profesionalno bavio vezom između apstraktnih logičkih ideja koje stoje u pozadini modernih računala i njihove realizacije.

Računala su pedesetih godina bila ogromna i jedva su mogla stati u sobu. Danas su to moćni strojevi koji mogu izvesti začuđujući broj različitih zadataka, no logika koja stoji u njihovoj pozadini nije se promijenila. Ona se razvila iz radova nekolicine mislilaca kroz nekoliko stoljeća. U ovoj ću knjizi ispričati njihove životne priče i objasniti dio njihovih razmišljanja."

"Elegantna povijest potrage za granicama logike i strojevima koji u tim granicama žive"
—Wired

"Pravo je zadovoljstvo autoru ovih redaka bilo čitati nešto čime je mislio da vlada, a ispostavilo se posve suprotno. Tehnička i matematička pitanja u ovoj se knjizi raspravljaju jasno i pristupačno"
—Domagoj Juričić, MeritorMedia

"Svatko tko danas radi s računalima, i svatko tko teži proniknuti u ovu elektroničku budućnost, čitanjem [ove knjige] bit će na velikom dobitku."
—John McCarthy, Sveučilište Stanford

Ostavi komentar

Kako da kupim?

Ukoliko poručujete preko sajta, ubacite željeni naslov u korpu, a potom pratite korake koji će vas odvesti do kraja kupovine. Da bi kupovina bila uspešna, treba da, na samom kraju, štiklirate kućicu “slažem se sa uslovima kupovine”. Ukoliko ste, prilkom popunjavanja podataka, uneli ispravnu mejl adresu, stići će vam potvrda kupovine sa brojem porudžbine. Ukoliko se ne snalazite, možete nam poslati mejl na sajt@makart.rs Odgovorićemo vam u najkraćem roku.

Poručite telefonom

Ukoloiko ne poručujete preko sajta, već porukom, kao način plaćanja jedina opcija je plaćanje pouzećem. Poruka ili mejl koji nam šaljete treba da sadrži: tačan naslov knjige (ili knjiga) koju želite, potpunu adresu (ime i prezime, ulica i broj; mesto i poštanski broj) i broj telefona.

Imate pitanje za nas?

Ukoliko imate neko pitanje (o raspoloživim naslovima, o statusu porudžbine i sl.) ili ako se ne snalazite prilikom poručivanja, možete nam poslati mejl na sajt@makart.rs Odgovorićemo vam u najkraćem roku.

U redu je ako se predomislite

Porudžbinu uvek možete da otkažete, pa čak i kad vam kurir pozvoni na vrata, donoseći knjige. Ali bi ipak najbolje bilo da nas blagovremeno obavestite, ako ste se iz bilo kog razloga predomislili. Možete nas pisati na mejl adresu sajt@makart.rs. U slučaju da ste izvršili uplatu ili platili karticom, pa morali da odustanete, novac će vam biti vraćen. Na isti način možete nas obavestiti i ako imate nelu reklamaciju (nisu vam stigle sve knjige; neka knjiga je oštećena ili postoji greška u štampi i sl.), odmah ćemo vam se javiti radi dogovora kako da ispravimo grešku. Ukoliko ste napravili porudžbinu, pa onda shvatili da u očekivano vreme isporuke nećete moći da primite pošiljku, javite nam se – promenićemo datum isporuke ili ćemo pošiljku preusmeriti na drugu adresu, ako vam tako više odgovara.