pregleda
Ruski/ Matematička logika i automatsko dokazivanje teor
| Cena: |
| Želi ovaj predmet: | 3 |
| Stanje: | Polovan bez oštećenja |
| Garancija: | Ne |
| Isporuka: | Pošta Post Express |
| Plaćanje: | Tekući račun (pre slanja)
Pouzećem |
| Grad: |
Beograd-Ralja, Beograd-Sopot |
- ima 100 jedinstvenih pozitivnih ocena od kupaca,
- tokom perioda od 6 meseci uplati minimum 20.000 dinara na svoj Limundo račun.
Pozitivne: 46183
ISBN: Ostalo
Oblast: Matematika
Jezik: Ruski
Autor: Strani
Godina izdanja: xxx
Matematička logika i automatsko dokazivanje teorema
358 strana
1983g
tvrd povez
ruski jezik
lepo očuvana
Математичка логика и аутоматско доказивање теорема, Цхен Цх., Ли Р., 1983.
Књига је посвећена детаљном приказу читавог низа проблема повезаних са такозваном методом решавања. Овај метод је најпознатији и широко коришћен у савременим радовима на доказивању математичких теорема на рачунару и уопште у конструкцији система „вештачке интелигенције“. Примене методе су описане на, на пример, задацима који су релевантни за сваког програмера система, као што су аутоматска анализа и синтеза програма.У додатку су описане друге методе и неки резултати последњих година, са којима је неопходно упознавање приликом проучавања проблеми аутоматског доказивања теорема.
Potrebno je da ispunjavate sva 3 uslova popusta:
1. Popust NE VAZI za knjige čija je pojedinačna cena preko 490 dinara i ne važi za komplete knjiga
2. Ako odlučite da kupite knjige (koje nisu skuplje od 490 din i nisu kompleti) u vrednosti od minimum 2000 dinara , PRVO me kontaktirajte preko KUPINDO poruka (da bih korigovala cene) i DOBICETE POPUST OD 10%
U poruci napišite: Svrha poruke - Popust
Obavezan spisak knjiga sa cenama pre kupovine
3. Popust NE važi NAKON sto obavite kupovinu vec isključivo PRE nego sto počnete da kupujete
*****************************************************************
Pakovanje naplaćujemo 10 dinara po pošiljci
*********************************************************************
Knjige saljemo:
- kao preporucene tiskovine - ne šaljemo kao obične tiskovine
- kao paket - plaćate knjige i poštarinu UNAPRED, NEMA OPCIJE da poštarinu za paket platite prilikom preuzimanja
- post expresom Plaćanje POUZEĆEM znači da šaljemo POST EXPRESOM (NE ŠALJEMO CC paket pouzećem)
- Ako šaljemo pošiljku na adresu firme post expres insistira na nazivu firme koji se piše u napomeni
Postoji mogućnost da nema opcije post expresa:
- ako kupac ima negativne ocene
- u specifičnim slučajevima ako zaključimo da kupac nije pouzdan - nepostojeći broj telefona, knjiga mora stići u određenom roku zbog putovanja i sl.
****************************************************
Ne šaljemo knjige u inostranstvo tj izvan Srbije
Naše knjige pogledajte: http://www.kupindo.com/Clan/IvanaIg/SpisakPredmeta
Predmet: 71939229
