Компьютерное моделирование логических процессов. Архитектура и язык решателя задач
| Հիմնական հեղինակ: | |
|---|---|
| Ամփոփում: | В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя». Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике. |
| Լեզու: | ռուսերեն |
| Հրապարակվել է: |
Москва, Физматлит, 2008
|
| Խորագրեր: | |
| Ձևաչափ: | Գիրք |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=152534 |
Նմանատիպ նյութեր
Вып. 4 : Методические материалы по применению пакета прикладных программ ДИАФАЛ. Ч. 1 : Описание применения; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Вып. 20 : Автоматизированная система обработки документов - АСОД (расширенная версия). Ч. 3 : Руководство по установке системы; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1983)
Հրապարակվել է: (1983)
Методы трансляции и конструирования программ: сборник научных трудов
Հրապարակվել է: (Новосибирск, Изд-во ВЦ СО АН СССР, 1986)
Հրապարակվել է: (Новосибирск, Изд-во ВЦ СО АН СССР, 1986)
Пакеты прикладных программ. Аналитические преобразования: сборник научных трудов
Հրապարակվել է: (Москва, Наука, 1988)
Հրապարակվել է: (Москва, Наука, 1988)
Вып. 4 : Методические материалы по применению пакета прикладных программ ДИАФАЛ. Ч. 2 : Руководство прикладного программиста; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Вып. 4 : Методические материалы по применению пакета прикладных программ ДИАФАЛ. Ч. 3 : Руководство системного программиста; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Пакеты прикладных программ. Системное наполнение
Հրապարակվել է: (Москва, Наука, 1984)
Հրապարակվել է: (Москва, Наука, 1984)
Simulink 5/6/7: самоучитель
: Дьяконов В. П. Владимир Павлович
Հրապարակվել է: (Москва, ДМК Пресс, 2008)
: Дьяконов В. П. Владимир Павлович
Հրապարակվել է: (Москва, ДМК Пресс, 2008)
Вып. 65 : Проектирование диалоговых информационных систем для микроЭВМ на базе ППП ДИАМАНТ; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1978)
Հրապարակվել է: (1978)
Ч. 3 : Описание контольного примера; Методические материалы по разработке и применению системы конвертирования файлов - СКОФ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Вып. 11. Ч. 1 : Стандарты и рекомендации в области телеобработки данных; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1981)
Հրապարակվել է: (1981)
Вып. 8 : Применение системы телеуправления КАМА в автоматизированных системах научно-технической информации; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Системы аналитических вычислений на ЭВМ. Аналитические пакеты прикладных программ
Հրապարակվել է: (Москва, [Б. и.], 1983)
Հրապարակվել է: (Москва, [Б. и.], 1983)
Вып. 33 Телесправка. Диалоговая информационная система. Ч. 2: Язык запросов; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1986)
Հրապարակվել է: (1986)
Ч. 2 : Руководство программиста; Методические материалы по разработке и применению системы конвертирования файлов - СКОФ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Вып. 25 : Проектирование автоматизированных информационных систем на базе ППП АИДОС/ОС; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1984)
Հրապարակվել է: (1984)
Вып. 48 : Ситема управления базами данных на микроЭВМ БнД-80; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1989)
Հրապարակվել է: (1989)
Вып. 7 : Диалоговая информационно-поисковая система - ДИАЛОГ. Ч. 2 : Руководство программиста; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Вып. 20 : Автоматизированная система обработки документов - АСОД (расширенная версия). Ч. 1 : Описание применения; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1983)
Հրապարակվել է: (1983)
Пакеты прикладных программ. Функциональное наполнение: сборник статей
Հրապարակվել է: (Новосибирск, Наука, 1985)
Հրապարակվել է: (Новосибирск, Наука, 1985)
Вып. 7 : Диалоговая информационно-поисковая система - ДИАЛОГ. Ч. 1 : Описание применения; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Ч. 1 : Описание применения; Методические материалы по разработке и применению системы конвертирования файлов - СКОФ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Математическое и программное обеспечение для решения задач пространственно-распределенной стационарной диффузии и тепломассообмена методом композиции: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.11
: Костюченко С. В. Сергей Владимирович
Հրապարակվել է: (Томск, [Б. и.], 1987)
: Костюченко С. В. Сергей Владимирович
Հրապարակվել է: (Томск, [Б. и.], 1987)
Вып. 20 : Автоматизированная система обработки документов - АСОД (расширенная версия). Ч. 2 : Руководство программиста; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1983)
Հրապարակվել է: (1983)
Вып. 33; Телесправка. Диалоговая информационная система. Ч. 3: Руководство программиста; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1986)
Հրապարակվել է: (1986)
Вып. 7 : Диалоговая информационно-поисковая система - ДИАЛОГ. Ч. 3 : Руководство по установке системы; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1980)
Հրապարակվել է: (1980)
Вып. 33 : Телесправка. Диалоговая информационная система. Ч. 4: Описание контрольного примера; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1986)
Հրապարակվել է: (1986)
Вып. 32 : Информационно-поисковая система АИДОС/ВС; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1986)
Հրապարակվել է: (1986)
Вып. 14 : Диалоговая система автоматизации лингвистических работ (ДИАЛИН); Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1981)
Հրապարակվել է: (1981)
Вып. 33 : Телесправка. Диалоговая информационная система. Ч. 1: Описание применения; Методические материалы и документация по пакетам прикладных программ
Հրապարակվել է: (1986)
Հրապարակվել է: (1986)
Исследование схем импульсных источников питания в SwCAD/LTspice
: Кубов В. И. Владимир Ильич
Հրապարակվել է: (СПб., Корона-Век, 2010)
: Кубов В. И. Владимир Ильич
Հրապարակվել է: (СПб., Корона-Век, 2010)
Scilab: решение инженерных и математических задач
: Алексеев Е. Р. Евгений Ростиславович
Հրապարակվել է: (Москва, БИНОМ. Лаборатория знаний, 2008)
: Алексеев Е. Р. Евгений Ростиславович
Հրապարակվել է: (Москва, БИНОМ. Лаборатория знаний, 2008)
Вып. 19 : Интерактивная информационно-поисковая система ПОИСК-1.2. Ч. 2 : Руководство пользователя; Методические материалы и документация по пакетам прикладных программ
: Анев П. Д.
Հրապարակվել է: (1982)
: Анев П. Д.
Հրապարակվել է: (1982)
Вып. 10 : Применение технических средств ЕС ЭВМ в системе телеобработки научно-технической информации; Методические материалы и документация по пакетам прикладных программ
: Бобров В. В.
Հրապարակվել է: (Москва, Изд-во МЦНТИ, 1981)
: Бобров В. В.
Հրապարակվել է: (Москва, Изд-во МЦНТИ, 1981)
Вып. 19 : Интерактивная информационно-поисковая система ПОИСК-1.2. Ч. 4 : Руководство по установке системы; Методические материалы и документация по пакетам прикладных программ
: Анев П. Д.
Հրապարակվել է: (1982)
: Анев П. Д.
Հրապարակվել է: (1982)
Методы представления знаний в информационных технологиях: сборник научных трудов
Հրապարակվել է: (Киев, Изд-во ИК, 1991)
Հրապարակվել է: (Киев, Изд-во ИК, 1991)
Вып. 19 : Интерактивная информационно-поисковая система ПОИСК-1.2. Ч. 3 : Руководство программиста; Методические материалы и документация по пакетам прикладных программ
: Анев П. Д.
Հրապարակվել է: (1982)
: Анев П. Д.
Հրապարակվել է: (1982)
Компьютерное моделирование логических процессов. Архитектура и языки решателя задач Практическое пособие
: Подколзин А.С. Александр Сергеевич
Հրապարակվել է: (Москва, Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2008)
: Подколзин А.С. Александр Сергеевич
Հրապարակվել է: (Москва, Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2008)
Модуль решателя математической модели программного комплекса моделирования свойств материалов; Физико-технические проблемы в науке, промышленности и медицине
: Мамаев К. А.
Հրապարակվել է: (2016)
: Мамаев К. А.
Հրապարակվել է: (2016)
Проблемы теоретического и системного программирования: сборник научных трудов
Հրապարակվել է: (Новосибирск, Изд-во НГУ, 1982)
Հրապարակվել է: (Новосибирск, Изд-во НГУ, 1982)