Достоверный и правдоподобный вывод в интеллектуальных системах

Достоверный и правдоподобный вывод в интеллектуальных системах

Xehetasun bibliografikoak
Beste egile batzuk:	Вагин В. Н. Вадим Николаевич, Головина Е. Ю. Елена Юрьевна, Загорянская А. А. Анастасия Анатольевна, Фомина М. В. Марина Владимировна
Hizkuntza:	errusiera
Argitaratua:	Москва, Физматлит, 2004
Gaiak:	интеллектуальные системы выводы достоверность правдоподобность теоремы автоматическое доказательство графы аналитические таблицы иерархические структуры аргументация абдукция модальная логика логическое программирование индукция обобщения обучение системы решения принятие
Formatua:	Liburua
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=67544

Antzeko izenburuak

Достоверный и правдоподобный вывод в интеллектуальных системах Учебное пособие
nork: Вагин В.Н. Вадим Николаевич
Argitaratua: (Москва, Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2008)

Логика: Практический курс; учебник для вузов
nork: Рузавин Г. И.
Argitaratua: (Москва, ЮНИТИ-ДАНА, 2002)

Логика: учебное пособие
nork: Светлов В. А. Виктор Александрович
Argitaratua: (СПб., Лидер, 2011)

Формальная логика учебное пособие
nork: Моргунов Г. В.
Argitaratua: (Новосибирск, НГТУ, 2021)

Эйлеровы графы и смежные вопросы: пер. с англ.
nork: Фляйшнер Г. Герберт
Argitaratua: (Москва, Мир, 2002)

Логическое программирование и моделирование систем: учебное пособие
nork: Новосельцев В. Б. Виталий Борисович
Argitaratua: (Томск, Изд-во ТПУ, 2008)

Логика и методология управления. Книга для руководителя: учебное пособие
nork: Тарасенко В. В. Владислав Валерьевич
Argitaratua: (Москва, ЮНИТИ-ДАНА, 2010)

Логическое программирование и моделирование систем: учебное пособие; электронный ресурс
nork: Новосельцев В. Б. Виталий Борисович
Argitaratua: (Томск, Изд-во ТПУ, 2008)

ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания
Argitaratua: (Москва, Либроком, 2009)

Теория логического вывода
Argitaratua: (Москва, Наука, 1973)

Аргументация и интерпретации. Исследования по логике, истории философии и социальной философии: Сборник научных статей
Argitaratua: (Калининград, БФУ им. И.Канта, 2006)

Предметная область в логической семантике: монография
nork: Бессонов А. В. Александр Владимирович
Argitaratua: (Новосибирск, Наука, 1985)

Логика методические рекомендации
nork: Никитенко Т. А.
Argitaratua: (Ярославль, 2015)

Теоретическая информатика. Доказательство правильности учеб. пособие
nork: Веретельникова Е. Л.
Argitaratua: (Новосибирск, НГТУ, 2016)

Искусство программирования на языке Пролог: пер. с англ.
nork: Стерлинг Л. Леон
Argitaratua: (Москва, Мир, 1990)

Аналитический метод синтеза функциональной организационно-технической системы; Наукоемкие технологии; № 11
nork: Мистров Л. Е.
Argitaratua: (2004)

Логика и теория аргументации: учебное пособие
nork: Лойко О. Т. Ольга Тимофеевна
Argitaratua: (Томск, Изд-во ТПУ, 1999)

Логика и теория аргументации: учебное пособие
nork: Сычева С. Г. Светлана Георгиевна
Argitaratua: (Томск, Изд-во ТПУ, 2008)

Логический вывод
Argitaratua: (Москва, Наука, 1979)

Особенности иерархических структур автоматизированных систем управления; Промышленные АСУ и контроллеры; № 2
nork: Секаев В. Г.
Argitaratua: (2005)

Обольстить логикой. Выводы на все случаи жизни
nork: Дрёссер К. Кристоф
Argitaratua: (Москва, Лаборатория знаний, 2025)

Логика: [учебное пособие]
nork: Бартон В. И. Виталий Иванович
Argitaratua: (Минск, Новое знание, 2008)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2022)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2024)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2025)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2021)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2023)

Трудности доказательств: Как преодолеть страх перед математикой; пер. с англ.
nork: Купиллари А. Антонелла
Argitaratua: (Москва, Техносфера, 2002)

Проблемы создания интеллектуальных систем поддержки принятия решений: сборник научных трудов
Argitaratua: (Киев, Изд-во АН УССР, 1990)

Теория и практика аргументации и публичной полемики учебное пособие и практикум для магистрантов гуманитарных специальностей
nork: Михалкин Н. В.
Argitaratua: (Москва, МГППУ, 2021)

Принятие решений и феномен неопределенности учебное пособие для вузов
nork: Клименко И. С.
Argitaratua: (Санкт-Петербург, Лань, 2024)

Системный анализ в управлении учебное пособие для вузов
nork: Клименко И. С.
Argitaratua: (Санкт-Петербург, Лань, 2024)

Нецелеориентированная стратегия вывода формул в модальных исчислениях; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
nork: Новосельцев В. Б. Виталий Борисович
Argitaratua: (2006)

Задачи и упражнения по логике: учебное пособие
nork: Уемов А. И. Авенир Иванович
Argitaratua: (Москва, Высшая школа, 1961)

Учебник логики
nork: Челпанов Г. И. Георгий Иванович
Argitaratua: (Москва, Прогресс, 1994)

Индуктивная систематизация: логико-методологический аспект
nork: Светлов В. А.
Argitaratua: (Иркутск, Изд-во Иркутского ун-та, 1987)

Теорема разделения в случае наблюдений с памятью; Известия Томского политехнического университета [Известия ТПУ]; Т. 308, № 5
nork: Демин Н. С. Николай Серапионович
Argitaratua: (2005)

Задачи по дискретной математике учебное пособие для вузов
nork: Кургалин С. Д.
Argitaratua: (Воронеж, ВГУ, 2011)

Развитие интеллектуальных систем и их роль в медицинских исследованиях; Молодежь и современные информационные технологии; Т. 2
nork: Юмашева А. Л. Анна Леонидовна
Argitaratua: (2016)

Современная логика и методология науки: сборник научных статей
Argitaratua: (Москва, Изд-во МГУ, 1987)