[Текст] / В. А. Смирнов [и др.]. - Москва : Наука. - (Курс логики и компьютерный практикум). : монография. - 1996. - 255 с. + 1 эл. гиб. диск. - ISBN 5-02-013603-4 : 22.00 р.
Аннотация: Книга - первое в отечественной литературе руководство по логике, оснащенное таким рабочим инструментом для построения логических выводов, как компьютерная программа, что позволит читателю легко переходить от одного логического исчисления к другому. Систематически излагаются методы поиска доказательств в интерактивном режиме для исчисления предикатов и прикладных теорий, а также способы формализации: аксиоматический метод, метод аналитических таблиц. Основное внимание уделено натуральному (субординатному) выводу с Е-символом. Для изучающих логику с помощью компьютера.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Смирнов, В.А.; Маркин, В.И.; Новодворский, А.Е.; Смирнов, А.В.
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)
Сводный каталог книг
w10=
Найдено документов в текущей БД: 4
З973
О-796
З 81 / О-796-ИХХТ-АБ
О-796
З 81 / О-796-ИХХТ-АБ
Обработка знаний
[Текст] : монография / С. Осуга; Пер. с японск. В.И. Этова. - Москва : Мир, 1989. - 293 с. : ил. - Предм. указ.: с. 286-291 . - ISBN 5-03-000638-9 : 1.10 р., 01.10 р.
ББК З973 + З 81 + З 972.205
Кл.слова (ненормированные):
обработка знаний -- инженерия знаний -- логика предикатов -- множества -- структуры данных -- формализация проблемы -- языки систем решения проблем -- языки представления знаний -- искусственный интеллект -- человеко-машинное взаимодействие
Аннотация: Книга является переводом первого тома 10-томной серии по инженерии знаний, написанной крупными японскими специалистами, и представляет собой вводный курс инженерии знаний. В ней дан обзор исследований по искусственному интеллекту и методов представления знаний в экспертных системах. Обсуждены логика предикатов, синтаксис и семантика языка предикатов, правила выводов в логике предикатов, в также вопросы, связанные с формализацией проблем, способы представления информации в ЭВМ на различных этапах решения проблемы, модели решния и классификация проблем. Рассмотрены основные структуры систем обработки знаний и языков представления знаний. Для специалистов в области инженерии знаний и искусственного интеллекта, а также студентов соответствующих специальностей.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИВМ-Фонд (1), ИХХТ-АБ (1)
Свободны: ИВМ-Фонд (1), ИХХТ-АБ (1)
| ГРНТИ | ||
| УДК |
Кл.слова (ненормированные):
обработка знаний -- инженерия знаний -- логика предикатов -- множества -- структуры данных -- формализация проблемы -- языки систем решения проблем -- языки представления знаний -- искусственный интеллект -- человеко-машинное взаимодействие
Аннотация: Книга является переводом первого тома 10-томной серии по инженерии знаний, написанной крупными японскими специалистами, и представляет собой вводный курс инженерии знаний. В ней дан обзор исследований по искусственному интеллекту и методов представления знаний в экспертных системах. Обсуждены логика предикатов, синтаксис и семантика языка предикатов, правила выводов в логике предикатов, в также вопросы, связанные с формализацией проблем, способы представления информации в ЭВМ на различных этапах решения проблемы, модели решния и классификация проблем. Рассмотрены основные структуры систем обработки знаний и языков представления знаний. Для специалистов в области инженерии знаний и искусственного интеллекта, а также студентов соответствующих специальностей.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИВМ-Фонд (1), ИХХТ-АБ (1)
Свободны: ИВМ-Фонд (1), ИХХТ-АБ (1)
В12
Г 97
Г 97
Математическая логика и теория алгоритмов
[Текст] : учебное пособие / А. К. Гуц. - Изд. стереотип. - Москва : ЛИБРОКОМ ; Москва : URSS, 2015. - 120 с. : ил., портр., табл. ; 22 . - Библиогр.: с. 114-117. - ISBN 978-5-397-04775-3 : 215.00 р.
ББК В12я73
Аннотация: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)
| ГРНТИ | |
| УДК |
Рубрики:
Физико-математические науки--Математика--Основания математики. Математическая логика
Кл.слова (ненормированные):
Теория алгоритмов -- Классическая логика -- Метод резолюций -- Формальные исчисления -- Формальная арифметика -- Принципы логического программирования -- Нечеткая логика -- Нечеткая арифметика -- Модальная логика -- Временная логика -- Алгоритмическая логика -- Семантика Крипке -- Аксиомы алгоритмической логики Хоара -- Логика Хоара -- Логики Васильева -- Логики Лукасевича -- Рекурсивные функци -- Машина Тьюринга-Поста -- Нормальные алгорифмы Маркова -- Логика высказываний -- Алгебра Буля -- Логика предикатов -- Метод резолюций -- Формальные теории -- Исчисления -- Класс задач P -- Класс задач NP -- Алгоритмы реальности -- Генератор виртуальной реальности -- Среда Кантгоуту -- Тезис Колмогорова
Физико-математические науки--Математика--Основания математики. Математическая логика
Кл.слова (ненормированные):
Теория алгоритмов -- Классическая логика -- Метод резолюций -- Формальные исчисления -- Формальная арифметика -- Принципы логического программирования -- Нечеткая логика -- Нечеткая арифметика -- Модальная логика -- Временная логика -- Алгоритмическая логика -- Семантика Крипке -- Аксиомы алгоритмической логики Хоара -- Логика Хоара -- Логики Васильева -- Логики Лукасевича -- Рекурсивные функци -- Машина Тьюринга-Поста -- Нормальные алгорифмы Маркова -- Логика высказываний -- Алгебра Буля -- Логика предикатов -- Метод резолюций -- Формальные теории -- Исчисления -- Класс задач P -- Класс задач NP -- Алгоритмы реальности -- Генератор виртуальной реальности -- Среда Кантгоуту -- Тезис Колмогорова
Аннотация: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)
З 81
П 71
П 71
Представление и использование знаний
: пер. с японского / Х. Уэно [и др.] ; ред.: Х. Уэно, М. Исидзука ; пер. И. А. Иванов ; ред. пер. Н. Г. Волков. - М. : Мир, 1989. - 220 с. : ил. - ISBN 5-03-000685-0 : 00.85 р.
Авт. указаны на обороте тит. л.
ББК З 81 + З 973.205
Доп.точки доступа:
Уэно, Х.; Кояма, Т.; Окамото, Т.; Мацуби, Б.; Исидзука, М.; Уэно, Х. \ред.\; Исидзука, М. \ред.\; Иванов, И. А. \пер.\; Волков, Н. Г. \ред. пер.\
Экземпляры всего: 1
ИХХТ-АБ (1)
Свободны: ИХХТ-АБ (1)
Авт. указаны на обороте тит. л.
| ГРНТИ | |
| УДК |
Рубрики:
Автоматика и телемеханика
Кл.слова (ненормированные):
знания -- представление знаний -- использование знаний -- инженерия знаний -- языки представления знаний -- фреймы -- теория фреймов -- семантические сети -- прикладные системы -- логика предикатов
Автоматика и телемеханика
Кл.слова (ненормированные):
знания -- представление знаний -- использование знаний -- инженерия знаний -- языки представления знаний -- фреймы -- теория фреймов -- семантические сети -- прикладные системы -- логика предикатов
Доп.точки доступа:
Уэно, Х.; Кояма, Т.; Окамото, Т.; Мацуби, Б.; Исидзука, М.; Уэно, Х. \ред.\; Исидзука, М. \ред.\; Иванов, И. А. \пер.\; Волков, Н. Г. \ред. пер.\
Экземпляры всего: 1
ИХХТ-АБ (1)
Свободны: ИХХТ-АБ (1)