Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=исчисление высказываний<.>

Загальна кількість знайдених документів : 5
Показані документи с 1 за 5

007
П 62

Поспелов, Дмитрий Александрович.
Моделирование рассуждений. Опыт анализа мыслительных актов [] / Д. А. Поспелов. - М. : Радио и связь, 1989. - 184 с. : рис., табл. - Лит.: с. 179-183. - ISBN 5-256-00183-3 : 0.60 р.

УДК

007

ББК 32.813
Рубрики: Штучний інтелект--Кібернетичні моделі--Популярні видання

Кл.слова (ненормовані):
формальные рассуждения -- формальні міркування -- человеческие рассуждения -- людські міркування -- силлогистика Аристотеля -- силогістика Арістотеля -- моделирование силлогистики -- моделювання силогістики -- исчисление высказываний -- обчислення висловлювань -- исчисление предикатов -- обчислення предикатів -- нечеткая силлогистика -- нечітка силогістика -- интеллектуальная система -- інтелектуальна система -- семантическая сеть -- семантична мережа -- управление выводами -- управління висновками -- продукционные системы -- продукційні системи -- герменевтика -- забытые науки -- забуті науки
Анотація: Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

004.891
Р79

Рот, Михаэль.
Интеллектуальный автомат: компьютер в качестве эксперта [] / М. Рот ; пер. с нем. А. П. Свиридова. - М. : Энергоатомиздат, 1991. - 80 с. : рис. - ISBN 5-283-02522-5 : 6.55 крб

УДК

004.891

ББК 32.813
Рубрики: Експертні системи--Практичні посібники
Комп'ютери--Історія--Практичні посібники

Кл.слова (ненормовані):
эволюция ЭВМ -- еволюція ЕОМ -- логическое программирование -- логічне програмування -- исчисление высказываний -- обчислення висловлювань -- логика предикатов -- логіка предикатів -- языки логического программирования -- мови логічного програмування -- ЭВМ четвертого поколения -- ЕОМ четвертого покоління -- ЭВМ пятого поколения -- ЕОМ п'ятого покоління -- диагностические экспертные системы -- діагностичні експертні системи -- машина логического вывода -- машина логічного виводу -- процедурное знание -- процедурне знання -- продукционная система -- продукційна система
Анотація: Основы построения и практического применения экспертных систем, дан анализ эволюции компьютеров за последние три столетия.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Свиридов, А. П. \пер.\
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)
Знайти схожі

007:681.5
Р12

Рабинович, Авраам Нахимович.
Как машина стала автоматом [] / А. Н. Рабинович. - К. : Техніка, 1976. - 152 с. : рис. - 0.30 р.

УДК

007:681.5

ББК 32.815
Рубрики: Автоматів теорія--Популярні видання

Кл.слова (ненормовані):
развитие машин -- розвиток машин -- датчик -- преобразователь -- перетворювач -- исчисление высказываний -- обчислення висловів -- алгебра логики -- алгебра логіки -- запоминающие устройства -- запам'ятовуючі пристрої -- программное управление -- програмне управління -- автоматические линии -- автоматичні лінії -- комплексная автоматизация -- комплексна автоматизація -- усилители мощности -- підсилювачі потужності -- распознавание образов -- розпізнання образів
Анотація: Металлообрабатывающие и другие автоматы, принципы и особенности их действия, функции человека в производственном процессе.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

510.6
Н73

Новиков, Петр Сергеевич.
Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.

УДК

510.6

ББК 22.122
Рубрики: Математична логіка--Навчальні видання

Кл.слова (ненормовані):
логічні операції -- логические операции -- алгебра висловлювань -- алгебра высказываний -- числення висловів -- исчисление высказываний -- теорема дедукции -- еквівалентні формули -- эквивалентные формулы -- логіка предикатів -- логика предикатов -- обчислення предикатів -- исчисление предикатов -- аксіоматична арифметика -- аксиоматическая арифметика -- теорія доказів -- теория доказательств
Анотація: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Знайти схожі

510.6(075.8)
Е80

Ершов, Юрий Леонидович.
Математическая логика [] : учеб. пособие для студентов мат. специальностей высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 2-е изд., испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1987. - 236 с. - Предм. указ.: с. 335-336. - 0.95 р.

УДК

510.6(075.8)

ББК 22.122я73
Рубрики: Математична логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
исчисление высказываний -- числення висловів -- теория множеств -- теорія множин -- исчисление предикатов -- числення предикатів -- теория моделей -- теорія моделей -- теория доказательств -- теорія доказів -- алгоритмы -- алгоритми -- рекурсивные функции -- рекурсивні функкції
Анотація: В книге изложены основные классические исчисления математической логики.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Палютин, Евгений Андреевич; Донченко, В. В. \ред.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)