1. Böcker
  2. Naturvetenskap, miljöskydd
  3. Prikladnaja logika

Prikladnaja logika

Прикладная логика
Prikladnaja logika
Språk
Mätningar
215/145 mm
Förlag
Publiceringsår
Sidor
216
ISBN
978-5-9221-1340-3
 
Utgått
Maila mig när tillgängligt Spara till önskelista
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установление выполнимости логических функций - и синтаксический - построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Logicheskij formalizm rassmatrivaetsja kak instrument dlja formulirovki i reshenija soderzhatelnykh zadach. Analizirujutsja ego dva aspekta: semanticheskij - ustanovlenie vypolnimosti logicheskikh funktsij - i sintaksicheskij - postroenie vyvodov v logicheskom ischislenii. Osnovnaja zadacha knigi sostoit v vydelenii tak nazyvaemykh lokalnykh zadach, kotorye kharakterizujutsja prostymi protsedurami kak ustanovlenija vypolnimosti, tak i postroenija vyvodov. Dlja opisanija etikh klassov zadach vvodjatsja matrichnoe predstavlenie logicheskikh formul i operatsii nad matritsami. Takoe predstavlenie daet vozmozhnost uvidet suschestvennye svojstva logicheskikh formul, kotorye pri traditsionnom podkhode ne projavljajutsja. Kniga mozhet byt polezna v kachestve uchebnogo posobija po distsiplinam: diskretnaja matematika, informatsionnoe modelirovanie, iskusstvennyj intellekt i proektirovanie ekspertnykh sistem.
EAN
9785922113403
Bibliotekskategori BIC:
RN
Liknande produkter
  • Popov Sergej Borisovich
    Publiceringsår: 2024
    Häftad, mjuka pärmar
    12.00 €
    10.91 € utan Moms
  • Popov Sergej Borisovich
    Publiceringsår: 2024
    Häftad, mjuka pärmar
    11.00 €
    10.00 € utan Moms
  • Popov Sergej Borisovich
    Publiceringsår: 2018
    Häftad, mjuka pärmar
    22.00 €
    20.00 € utan Moms
  • Popov Sergej Borisovich
    Publiceringsår: 2018
    Häftad, mjuka pärmar
    13.00 €
    11.82 € utan Moms
  • Ju. V. Ivlev
    Publiceringsår: 2023
    Häftad, mjuka pärmar
    19.00 €
    17.27 € utan Moms
  • Vinogradov S. N.
    Publiceringsår: 2022
    Inbunden, hårda pärmar
    38.00 €
    34.55 € utan Moms
  • Ganicheva A. V.
    Publiceringsår: 2022
    Inbunden, hårda pärmar
    47.00 €
    42.73 € utan Moms
  • Judin M. N.
    Publiceringsår: 2022
    Inbunden, hårda pärmar
    61.00 €
    55.45 € utan Moms
  • Sveshnikov A. A.
    Publiceringsår: 2022
    Inbunden, hårda pärmar
    36.00 €
    32.73 € utan Moms
  • Fedotov A.A.
    Publiceringsår: 2022
    Häftad, mjuka pärmar
    19.00 €
    17.27 € utan Moms