Компьютерное моделирование логических процессов. Архитектура и язык решателя задач

Компьютерное моделирование логических процессов. Архитектура и язык решателя задач

Podrobná bibliografie
Hlavní autor:	Подколзин А. С. Александр Сергеевич
Shrnutí:	В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя». Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
Jazyk:	ruština
Vydáno:	Москва, Физматлит, 2008
Témata:	Пакеты прикладных программ моделирование логические процессы задачи искусственный интеллект алгоритмические языки решатели ЛОС ГЕНОЛОГ упражнения программы программирование компьютерная математика
Médium:	MixedMaterials Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=152534

Podobné jednotky

Вып. 4 : Методические материалы по применению пакета прикладных программ ДИАФАЛ. Ч. 1 : Описание применения; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1980)

Вып. 20 : Автоматизированная система обработки документов - АСОД (расширенная версия). Ч. 3 : Руководство по установке системы; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1983)

Методы трансляции и конструирования программ: сборник научных трудов
Vydáno: (Новосибирск, Изд-во ВЦ СО АН СССР, 1986)

Вып. 4 : Методические материалы по применению пакета прикладных программ ДИАФАЛ. Ч. 3 : Руководство системного программиста; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1980)

Вып. 4 : Методические материалы по применению пакета прикладных программ ДИАФАЛ. Ч. 2 : Руководство прикладного программиста; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1980)

Пакеты прикладных программ. Аналитические преобразования: сборник научных трудов
Vydáno: (Москва, Наука, 1988)

Пакеты прикладных программ. Системное наполнение
Vydáno: (Москва, Наука, 1984)

Вып. 65 : Проектирование диалоговых информационных систем для микроЭВМ на базе ППП ДИАМАНТ; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1978)

Simulink 5/6/7: самоучитель
Autor: Дьяконов В. П. Владимир Павлович
Vydáno: (Москва, ДМК Пресс, 2008)

Вып. 11. Ч. 1 : Стандарты и рекомендации в области телеобработки данных; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1981)

Вып. 8 : Применение системы телеуправления КАМА в автоматизированных системах научно-технической информации; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1980)

Ч. 3 : Описание контольного примера; Методические материалы по разработке и применению системы конвертирования файлов - СКОФ
Vydáno: (1980)

Системы аналитических вычислений на ЭВМ. Аналитические пакеты прикладных программ
Vydáno: (Москва, [Б. и.], 1983)

Вып. 25 : Проектирование автоматизированных информационных систем на базе ППП АИДОС/ОС; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1984)

Вып. 33 Телесправка. Диалоговая информационная система. Ч. 2: Язык запросов; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1986)

Ч. 2 : Руководство программиста; Методические материалы по разработке и применению системы конвертирования файлов - СКОФ
Vydáno: (1980)

Вып. 48 : Ситема управления базами данных на микроЭВМ БнД-80; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1989)

Вып. 20 : Автоматизированная система обработки документов - АСОД (расширенная версия). Ч. 1 : Описание применения; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1983)

Вып. 7 : Диалоговая информационно-поисковая система - ДИАЛОГ. Ч. 2 : Руководство программиста; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1980)

Пакеты прикладных программ. Функциональное наполнение: сборник статей
Vydáno: (Новосибирск, Наука, 1985)

Вып. 7 : Диалоговая информационно-поисковая система - ДИАЛОГ. Ч. 1 : Описание применения; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1980)

Ч. 1 : Описание применения; Методические материалы по разработке и применению системы конвертирования файлов - СКОФ
Vydáno: (1980)

Математическое и программное обеспечение для решения задач пространственно-распределенной стационарной диффузии и тепломассообмена методом композиции: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.11
Autor: Костюченко С. В. Сергей Владимирович
Vydáno: (Томск, [Б. и.], 1987)

Вып. 20 : Автоматизированная система обработки документов - АСОД (расширенная версия). Ч. 2 : Руководство программиста; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1983)

Вып. 33; Телесправка. Диалоговая информационная система. Ч. 3: Руководство программиста; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1986)

Вып. 7 : Диалоговая информационно-поисковая система - ДИАЛОГ. Ч. 3 : Руководство по установке системы; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1980)

Вып. 33 : Телесправка. Диалоговая информационная система. Ч. 4: Описание контрольного примера; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1986)

Вып. 32 : Информационно-поисковая система АИДОС/ВС; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1986)

Вып. 14 : Диалоговая система автоматизации лингвистических работ (ДИАЛИН); Методические материалы и документация по пакетам прикладных программ
Vydáno: (1981)

Исследование схем импульсных источников питания в SwCAD/LTspice
Autor: Кубов В. И. Владимир Ильич
Vydáno: (СПб., Корона-Век, 2010)

Вып. 33 : Телесправка. Диалоговая информационная система. Ч. 1: Описание применения; Методические материалы и документация по пакетам прикладных программ
Vydáno: (1986)

Scilab: решение инженерных и математических задач
Autor: Алексеев Е. Р. Евгений Ростиславович
Vydáno: (Москва, БИНОМ. Лаборатория знаний, 2008)

Вып. 10 : Применение технических средств ЕС ЭВМ в системе телеобработки научно-технической информации; Методические материалы и документация по пакетам прикладных программ
Autor: Бобров В. В.
Vydáno: (Москва, Изд-во МЦНТИ, 1981)

Вып. 19 : Интерактивная информационно-поисковая система ПОИСК-1.2. Ч. 2 : Руководство пользователя; Методические материалы и документация по пакетам прикладных программ
Autor: Анев П. Д.
Vydáno: (1982)

Вып. 19 : Интерактивная информационно-поисковая система ПОИСК-1.2. Ч. 4 : Руководство по установке системы; Методические материалы и документация по пакетам прикладных программ
Autor: Анев П. Д.
Vydáno: (1982)

Методы представления знаний в информационных технологиях: сборник научных трудов
Vydáno: (Киев, Изд-во ИК, 1991)

Вып. 19 : Интерактивная информационно-поисковая система ПОИСК-1.2. Ч. 3 : Руководство программиста; Методические материалы и документация по пакетам прикладных программ
Autor: Анев П. Д.
Vydáno: (1982)

Компьютерное моделирование логических процессов. Архитектура и языки решателя задач Практическое пособие
Autor: Подколзин А.С. Александр Сергеевич
Vydáno: (Москва, Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2008)

Модуль решателя математической модели программного комплекса моделирования свойств материалов; Физико-технические проблемы в науке, промышленности и медицине
Autor: Мамаев К. А.
Vydáno: (2016)

Внутренний мир AutoCAD 14: пер. с англ.
Vydáno: (Киев, ДиаСофт, 1997)