1069:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
V nastoyashchee vremya yazyki logicheskogo programmirovaniya baziruyutsya na logike predikatov pervogo poryadka, no nazrela neobkhodimost' ispol'zovaniya v programmirovanii logiki vtorogo poryadka. Dlya postroeniya sootvetstvuyushchego yazyka neobkhodimo proanalizirovat' matematicheskuyu logiku, yazyki logicheskogo programmirovaniya, nekotorye matematicheskie ponyatiya i kontseptsii. Pervym shagom na etom puti yavlyaetsya analiz ischisleniya vyskazyvaniy, kotoryy luchshe vsego delat' putyem sravneniya razlichnykh podkhodov s analizom i proyasneniem vstrechayushchikhsya problem, ponyatiy i terminov. Eto i sdelano v dannoy knige: rassmotreny sovremennye i traditsionnye podkhody k matematicheskoy logike (ischisleniyu vyskazyvaniy). Podrobno rassmotreno takoe ponyatie kak rekursiya. Mnogo vnimaniya udeleno probleme vypolnimosti - rassmotreno neskol'ko algoritmov i, estestvenno, osoboe vnimanie udeleno metodu rezolyutsiy. Krome togo, v nachale raboty dostatochno podrobno rassmotreny paradoksy, a v kontse khornovskie diz"yunkty. Dlya studentov, aspirantov i spetsialistov, zanimayushchikhsya (interesuyushchikhsya) problemami iskusstvennogo intellekta.
- Format: Pocket/Paperback
- ISBN: 9783659112256
- Språk: Engelska
- Antal sidor: 156
- Utgivningsdatum: 2012-05-02
- Förlag: LAP Lambert Academic Publishing