Особливості організації сучасних систем автоматизації міркувань
Аналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного аналізу сформульовані основні проблеми та виділені можливі напрямки розви...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/730 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Особливості організації сучасних систем автоматизації міркувань / Мороховець М.К. // Математичні машини і системи. – 2003. – № 2. – С. 140 – 145 |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-730 |
|---|---|
| record_format |
dspace |
| spelling |
Мороховець, М.К. 2008-06-24T13:31:04Z 2008-06-24T13:31:04Z 2003 Особливості організації сучасних систем автоматизації міркувань / Мороховець М.К. // Математичні машини і системи. – 2003. – № 2. – С. 140 – 145 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/730 681.3:519.68 Аналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного аналізу сформульовані основні проблеми та виділені можливі напрямки розвитку САМ. Іл.: 1. Бібліогр.: 28 назв. Анализируются различные формы взаимодействия современных систем автоматизации рассуждений (САР) с другими программными средствами решения математических задач. Современные САР рассмотрены с точки зрения их состава. На базе проведенного анализа сформулированы основные проблемы и выделены возможные направления развития САР. Ил.: 1. Библиогр.: 28 назв. Various forms of the interaction of modern systems for automated reasoning (ARS) with other software tools for solving mathematical problems are observed. Modern ARS are considered in a compositional aspect. On the base of the analysis done, the main problems and possible directions of the development of ARS are formulated. Fig.: 1. Refs.: 28 titles. uk Інститут проблем математичних машин і систем НАН України Програмно-технічні комплекси Особливості організації сучасних систем автоматизації міркувань Особенности организации современных систем автоматизации рассуждений The peculiarities of the organization of modern automated reasoning systems Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Особливості організації сучасних систем автоматизації міркувань |
| spellingShingle |
Особливості організації сучасних систем автоматизації міркувань Мороховець, М.К. Програмно-технічні комплекси |
| title_short |
Особливості організації сучасних систем автоматизації міркувань |
| title_full |
Особливості організації сучасних систем автоматизації міркувань |
| title_fullStr |
Особливості організації сучасних систем автоматизації міркувань |
| title_full_unstemmed |
Особливості організації сучасних систем автоматизації міркувань |
| title_sort |
особливості організації сучасних систем автоматизації міркувань |
| author |
Мороховець, М.К. |
| author_facet |
Мороховець, М.К. |
| topic |
Програмно-технічні комплекси |
| topic_facet |
Програмно-технічні комплекси |
| publishDate |
2003 |
| language |
Ukrainian |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| format |
Article |
| title_alt |
Особенности организации современных систем автоматизации рассуждений The peculiarities of the organization of modern automated reasoning systems |
| description |
Аналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного аналізу сформульовані основні проблеми та виділені можливі напрямки розвитку САМ. Іл.: 1. Бібліогр.: 28 назв.
Анализируются различные формы взаимодействия современных систем автоматизации рассуждений (САР) с другими программными средствами решения математических задач. Современные САР рассмотрены с точки зрения их состава. На базе проведенного анализа сформулированы основные проблемы и выделены возможные направления развития САР. Ил.: 1. Библиогр.: 28 назв.
Various forms of the interaction of modern systems for automated reasoning (ARS) with other software tools for solving mathematical problems are observed. Modern ARS are considered in a compositional aspect. On the base of the analysis done, the main problems and possible directions of the development of ARS are formulated. Fig.: 1. Refs.: 28 titles.
|
| issn |
1028-9763 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/730 |
| citation_txt |
Особливості організації сучасних систем автоматизації міркувань / Мороховець М.К. // Математичні машини і системи. – 2003. – № 2. – С. 140 – 145 |
| work_keys_str_mv |
AT morohovecʹmk osoblivostíorganízacíísučasnihsistemavtomatizacíímírkuvanʹ AT morohovecʹmk osobennostiorganizaciisovremennyhsistemavtomatizaciirassuždenii AT morohovecʹmk thepeculiaritiesoftheorganizationofmodernautomatedreasoningsystems |
| first_indexed |
2025-12-07T15:37:20Z |
| last_indexed |
2025-12-07T15:37:20Z |
| _version_ |
1850864398603649024 |