{"product_id":"1510185","title":"Елементи некласичної математичної логіки. Elements Of Non-Classical Mathematical Logic","description":"\u003ch1\u003e\u003cstrong\u003e\u003ccenter\u003eЕлементи некласичної математичної логіки. Elements Of Non-Classical Mathematical Logic\u003c\/center\u003e\u003c\/strong\u003e\u003c\/h1\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp data-start=\"774\" data-end=\"1446\"\u003eРозглянуто основні логічні мови, які мають назву некласичних. Оскільки ці логічні мови включають елементи класичних логік, то спочатку наводяться класичні логіки — логіка висловлювань і логіка предикатів. А потім на їх основі вводяться некласичні логіки: багатозначні, нечіткі, модальні, мультимодальні, динамічні, темпоральні та дескриптивні. Представлені приклади застосування цих логік до аналізу природомовних текстів та верифікації дискретних систем, які моделюються транзитивними системами. Крім цих логічних мов в додатках представлено огляд проблеми уніфікації в теоріях першого порядку та застосування булевих функцій для ефективного зображення дискретних систем.\u003c\/p\u003e\u003cp data-start=\"1448\" data-end=\"1615\"\u003eДля викладачів, наукових співробітників, аспірантів, здобувачів вищої освіти за напрямками 'Комп’ютерні науки', 'Програмна інженерія', 'Програмне забезпечення систем'.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003ch2\u003e\u003cstrong\u003eSPECIFICATIONS:\u003c\/strong\u003e\u003c\/h2\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003eSergey Kryvoi - Сергій Кривий\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublisher:\u003c\/strong\u003eКафедра\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eLanguage:\u003c\/strong\u003eUkrainian\/Українська\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Date:\u003c\/strong\u003e2026\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eNumber of pages:\u003c\/strong\u003e608 pst\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eFormat:\u003c\/strong\u003ePaperback\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWidth:\u003c\/strong\u003e130 mm \/ 5,1'\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eHeight:\u003c\/strong\u003e200 mm \/ 7,9'\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight:\u003c\/strong\u003e440 g\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eIllustrations:\u003c\/strong\u003eScheme\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e978‐966‐2711‐981\u003c\/p\u003e","brand":"Кафедра","offers":[{"title":"Default Title","offer_id":47695094513802,"sku":"1510185","price":71.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0643\/1070\/6314\/files\/Elements_Of_Non-Classical_Mathematical_Logic_-_Sergey_Kryvoi_-_978_966_2711_981-1.jpg?v=1771104769","url":"https:\/\/bookstoreint.com\/products\/1510185","provider":"Bookstore International","version":"1.0","type":"link"}