Логикалық бағдарламалау. Оқу құралы
ISBN:
(0)
Қосылды
Аннотация
Пікірлер
«Логикалық бағдарламалау» оқу құралы логикалық бағдарламалаудың теориялық негіздерін және практикалық қолданысын қарастырады. Кітапта логикалық бағдарламалаудың негізгі принциптері, Пролог (Prolog) тілі, фактілер мен ережелерді жазу, рекурсия, және логикалық қорытындылау тәсілдері жан-жақты сипатталған. Әсіресе, жасанды интеллект саласына қызығушылық танытатын студенттер мен жас ғалымдар үшін бұл еңбек аса құнды. Оқу құралы жоғары оқу орындарының «Ақпараттық жүйелер», «Есептеу техникасы және бағдарламалық қамтамасыз ету» мамандықтарының студенттеріне, сондай-ақ бағдарламалау негіздерін оқып үйреніп жатқан кез келген маманға пайдалы. Сонымен қатар, жасанды интеллект пен логикалық модельдер саласында ғылыми зерттеу жүргізіп жатқан магистранттар мен докторанттар үшін де құнды көмекші құрал бола алады.
Сізді қызықтыруы мүмкін
Қосымша ақпарат алу