Р79 Рот, Михаэль. Интеллектуальный автомат: компьютер в качестве эксперта [] / М. Рот ; пер. с нем. А. П. Свиридова. - М. : Энергоатомиздат, 1991. - 80 с. : рис. - ISBN 5-283-02522-5 : 6.55 крб
Рубрики: Експертні системи--Практичні посібники Комп'ютери--Історія--Практичні посібники Кл.слова (ненормовані): эволюция ЭВМ -- еволюція ЕОМ -- логическое программирование -- логічне програмування -- исчисление высказываний -- обчислення висловлювань -- логика предикатов -- логіка предикатів -- языки логического программирования -- мови логічного програмування -- ЭВМ четвертого поколения -- ЕОМ четвертого покоління -- ЭВМ пятого поколения -- ЕОМ п'ятого покоління -- диагностические экспертные системы -- діагностичні експертні системи -- машина логического вывода -- машина логічного виводу -- процедурное знание -- процедурне знання -- продукционная система -- продукційна система Анотація: Основы построения и практического применения экспертных систем, дан анализ эволюции компьютеров за последние три столетия. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Свиридов, А. П. \пер.\ Примірників всього: 1 ФОНД (1) Свободны: ФОНД (1) |
Р12 Рабинович, Авраам Нахимович. Как машина стала автоматом [] / А. Н. Рабинович. - К. : Техніка, 1976. - 152 с. : рис. - 0.30 р.
Рубрики: Автоматів теорія--Популярні видання Кл.слова (ненормовані): развитие машин -- розвиток машин -- датчик -- преобразователь -- перетворювач -- исчисление высказываний -- обчислення висловів -- алгебра логики -- алгебра логіки -- запоминающие устройства -- запам'ятовуючі пристрої -- программное управление -- програмне управління -- автоматические линии -- автоматичні лінії -- комплексная автоматизация -- комплексна автоматизація -- усилители мощности -- підсилювачі потужності -- распознавание образов -- розпізнання образів Анотація: Металлообрабатывающие и другие автоматы, принципы и особенности их действия, функции человека в производственном процессе. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
Н73 Новиков, Петр Сергеевич. Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.
Рубрики: Математична логіка--Навчальні видання Кл.слова (ненормовані): логічні операції -- логические операции -- алгебра висловлювань -- алгебра высказываний -- числення висловів -- исчисление высказываний -- теорема дедукции -- еквівалентні формули -- эквивалентные формулы -- логіка предикатів -- логика предикатов -- обчислення предикатів -- исчисление предикатов -- аксіоматична арифметика -- аксиоматическая арифметика -- теорія доказів -- теория доказательств Анотація: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
Е80 Ершов, Юрий Леонидович. Математическая логика [] : учеб. пособие для студентов мат. специальностей высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 2-е изд., испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1987. - 236 с. - Предм. указ.: с. 335-336. - 0.95 р.
Рубрики: Математична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): исчисление высказываний -- числення висловів -- теория множеств -- теорія множин -- исчисление предикатов -- числення предикатів -- теория моделей -- теорія моделей -- теория доказательств -- теорія доказів -- алгоритмы -- алгоритми -- рекурсивные функции -- рекурсивні функкції Анотація: В книге изложены основные классические исчисления математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Палютин, Евгений Андреевич; Донченко, В. В. \ред.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |