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

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

Detaylı Bibliyografya
Yazar:	Подколзин А. С. Александр Сергеевич
Özet:	В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя». Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
Dil:	Rusça
Baskı/Yayın Bilgisi:	Москва, Физматлит, 2008
Konular:	Пакеты прикладных программ моделирование логические процессы задачи искусственный интеллект алгоритмические языки решатели ЛОС ГЕНОЛОГ упражнения программы программирование компьютерная математика
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=152534

Benzer Materyaller

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

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

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

Пакеты прикладных программ. Аналитические преобразования: сборник научных трудов
Baskı/Yayın Bilgisi: (Москва, Наука, 1988)

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

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

Пакеты прикладных программ. Системное наполнение
Baskı/Yayın Bilgisi: (Москва, Наука, 1984)

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

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

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

Simulink 5/6/7: самоучитель
Yazar:: Дьяконов В. П. Владимир Павлович
Baskı/Yayın Bilgisi: (Москва, ДМК Пресс, 2008)

Вып. 11. Ч. 1 : Стандарты и рекомендации в области телеобработки данных; Методические материалы и документация по пакетам прикладных программ
Baskı/Yayın Bilgisi: (1981)

Системы аналитических вычислений на ЭВМ. Аналитические пакеты прикладных программ
Baskı/Yayın Bilgisi: (Москва, [Б. и.], 1983)

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

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

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

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

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

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

Пакеты прикладных программ. Функциональное наполнение: сборник статей
Baskı/Yayın Bilgisi: (Новосибирск, Наука, 1985)

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

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

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

Математическое и программное обеспечение для решения задач пространственно-распределенной стационарной диффузии и тепломассообмена методом композиции: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.11
Yazar:: Костюченко С. В. Сергей Владимирович
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 1987)

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

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

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

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

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

Исследование схем импульсных источников питания в SwCAD/LTspice
Yazar:: Кубов В. И. Владимир Ильич
Baskı/Yayın Bilgisi: (СПб., Корона-Век, 2010)

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

Scilab: решение инженерных и математических задач
Yazar:: Алексеев Е. Р. Евгений Ростиславович
Baskı/Yayın Bilgisi: (Москва, БИНОМ. Лаборатория знаний, 2008)

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

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

Вып. 19 : Интерактивная информационно-поисковая система ПОИСК-1.2. Ч. 4 : Руководство по установке системы; Методические материалы и документация по пакетам прикладных программ
Yazar:: Анев П. Д.
Baskı/Yayın Bilgisi: (1982)

Вып. 19 : Интерактивная информационно-поисковая система ПОИСК-1.2. Ч. 3 : Руководство программиста; Методические материалы и документация по пакетам прикладных программ
Yazar:: Анев П. Д.
Baskı/Yayın Bilgisi: (1982)

Методы представления знаний в информационных технологиях: сборник научных трудов
Baskı/Yayın Bilgisi: (Киев, Изд-во ИК, 1991)

Модуль решателя математической модели программного комплекса моделирования свойств материалов; Физико-технические проблемы в науке, промышленности и медицине
Yazar:: Мамаев К. А.
Baskı/Yayın Bilgisi: (2016)

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

Проблемы теоретического и системного программирования: сборник научных трудов
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во НГУ, 1982)