Stock Image

Ischislenie vyskazyvaniy i logicheskoe programmirovanie: Analiz ischisleniya vyskazyvaniy kak pervyy shag razrabotki yazyka logicheskogo programmirovaniya vtorogo poryadka (Russian Edition)

Vladimir Kulakov

ISBN 10: 3659112259 / ISBN 13: 9783659112256
Published by LAP LAMBERT Academic Publishing, 2012
Condition: Good Soft cover
From Books Express (Portsmouth, NH, U.S.A.)

AbeBooks Seller Since August 14, 2015 Seller Rating 5-star rating

Quantity Available: 1

Buy Used
Price: US$ 254.65 Convert Currency
Shipping: Free Within U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Bookseller Inventory # 3659112259

Ask Seller a Question

Bibliographic Details

Title: Ischislenie vyskazyvaniy i logicheskoe ...

Publisher: LAP LAMBERT Academic Publishing

Publication Date: 2012

Binding: Paperback

Book Condition:Good

About this title

Synopsis:

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.

About the Author:

Kulakov Vladimir L'vovich v 1976 godu okonchil pedagogicheskiy institut po spetsial'nosti «matematika». S 1978 po 2000 gody rabotal razrabotchikom programmnogo obespecheniya. V 1993 godu zashchitil kandidatskuyu dissertatsiyu. S 1991 goda prepodayet v VUZakh informatiku i spetsial'nye distsipliny po informatsionnym sistemam i tekhnologiyam.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Terms of Sale:

Buy with confidence. Excellent customer service. 30 day return policy with a full refund if you are not completely satisfied with the book or its condition. Books Express LLC.


Shipping Terms:

Ships usually within one business day. Standard and expedited shipping options include shipping and handling costs. Default shipping is by USPS Media Mail and frequently USPS Priority Mail or UPS Ground is used. Books should arrive within 10-14 business days for expedited shipping, and 20-30 business days for standard shipping. Standard shipping can on occasion take up to 30 days for delivery.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check Money Order PayPal Invoice Bank Draft Bank/Wire Transfer Direct Debit (Personally Authorized Payment)