Normal view
MARC view
Компьютерное моделирование логических процессов. Архитектура и языки решателя задач (Record no. 938348)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 03703nam a22003251 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | koha000938348 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230128004406.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr bn uu|uu |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 200612s2008 ru | 000 0 rus d |
| 020 ## - Индекс ISBN | |
| ISBN | 9785922110457 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | koha000938348 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGUA |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGUA |
| Правила каталог. | PSBO |
| 080 ## - Индекс УДК | |
| Индекс УДК | 519.95; 007:159.955 |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 32.81 |
| Источник индекса | rubbk |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 09.04.02 |
| Источник индекса | okso |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 09.03.02 |
| Источник индекса | okso |
| 100 1# - Автор | |
| Автор | Подколзин, Александр Сергеевич |
| 245 10 - Заглавие | |
| Заглавие | Компьютерное моделирование логических процессов. Архитектура и языки решателя задач |
| Физический носитель | [Электронный ресурс] |
| Продолж. заглавия | Практическое пособие |
| Ответственность | Московский государственный университет им. М.В. Ломоносова |
| 250 ## - Сведения об издании | |
| Основные сведения об издании | 1 |
| 260 ## - Выходные данные | |
| Место издания | Москва |
| Издательство | Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ) |
| Дата издания | 2008 |
| 300 ## - Физическое описание | |
| Объем | 1024 с. |
| 520 3# - Аннотация | |
| Аннотация | В книге представлено описание разработанного автором пакета прикладных программ Логическая система "Искра" обобщающего многолетний опыт компьютерного моделирования логических процессов в результате которого возникла развитая технология обучения решателя. В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа позволяющая не только получать ответы но и прослеживать ход решения по шагам. Для обучения решателя был развит новый язык объединяющий в себе два логических уровня — предметной области и принятия решений что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы решателя. Студентам аспирантам и специалистам по искусственному интеллекту программированию и компьютерной математике. |
| 540 ## - Примечание об условиях использования и воспроизведения | |
| Terms governing use and reproduction | Профессиональное образование |
| 650 #4 - Тематические рубрики | |
| Основная рубрика | Информатика. Вычислительная техника |
| Основная подрубрика | Информационные технологии в науке и образовании |
| Источник рубрики | local |
| 9 (RLIN) | 660099 |
| 655 04 - Термин индексирования — жанр/форма | |
| Жанр/форма | Практическое пособие |
| Источник термина | local |
| 9 (RLIN) | 780902 |
| 856 4# - Электронный адрес документа | |
| Имя сервера/домена | znanium.com |
| Помощь | ebs_support@infra-m.ru |
| Примечание | НИЦ ИНФРА-М |
| URL | <a href="https://znanium.com/catalog/document?id=119576">https://znanium.com/catalog/document?id=119576</a> |
| Справочный текст | ЭБС Знаниум |
| 856 41 - Электронный адрес документа | |
| Имя сервера/домена | znanium.com |
| Путь | /cover/0186 |
| Электронное имя | 186565.jpg |
| Тип электронного формата | image/jpeg |
| URL | <a href="https://znanium.com/cover/0186/186565.jpg">https://znanium.com/cover/0186/186565.jpg</a> |
| Справочный текст | ЭБС Знаниум |
| 910 ## - Внешние ресурсы | |
| Внешние ресурсы | ЭБС Знаниум |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 938348 |
No items available.