Mostrar el registro sencillo del ítem

dc.contributor.authorКузнецов В.Е.
dc.date.accessioned2016-03-23T22:29:38Z
dc.date.available2016-03-23T22:29:38Z
dc.date.issued1989
dc.identifier.isbn5-02-014101-1
dc.identifier.issn
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/66270
dc.description.abstractНеформальные процедуры, выполняемые человеком, обладают рядом специфических особенностей, существенно затрудняющих их представление в ЭВМ с помощью алгоритмических языков программирования. Предлагаемая книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется продукционная система, т.е. система правил, каждое из которых имеет вид "если. . ., то.. .. Продукционный подход к представлению знаний иллюстрируется языками Рефал и Пролог. Обсуждается реализация режима возвратов и логического вывода средствами продукции. Особое внимание уделяется такому неформальному аспекту, как уместность действий в условиях многозначности. Для реализации уместности действий вводится понятие исключения из правила. При этом используется аппарат К-систем, представляющий собой нефинитное обобщение канонических исчислений Поста. Для специалистов в области информатики, вычислительной техники и математической логики.
dc.language.isoRussian
dc.publisherНаука
dc.subjectКомпьютеры
dc.subjectComputers
dc.subject.ddc
dc.subject.lcc
dc.titleПредставление в ЭВМ неформальных процедур
dc.typeother
dc.identifier.aichGSIS4W3DVSCWK7WHHL6J2BOKO66QO34I
dc.identifier.crc325B56AB04
dc.identifier.doi
dc.identifier.edonkey158E6C5FBAE0BBEC57DD900825C6071A
dc.identifier.googlebookid
dc.identifier.openlibraryidOL1947883M
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid32309
dc.identifier.md5E47EF9FA0A3D30B42A771B1851B54E94
dc.identifier.sha1T47PFX4DSFF5QODIGS6GJODSD3PGJIZ2
dc.identifier.tthE2E333LDPUNODJT7WR7HONCLI2YCNU2YCJMUXPY


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem