Синтез-обоснование идеала структуры языка научной теории
Синтезировано некоторое приближение к семантической модели идеала структуры языка 
 научной теории, непротиворечиво сочетающей содержательность с формальностью, и согласовано с 
 известными результатами, разделяемыми автором. Структура языков научных теорий состоит из 
 четыр...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2006 |
| Main Author: | Кургаев, А.Ф. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/58526 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Синтез-обоснование идеала структуры языка научной теории / А.Ф. Кургаев // Мат. машини і системи. — 2006. — № 1. — С. 99-112. — Бібліогр.: 35 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Организация данных и структура электронного грамматического словаря немецкого языка
by: Любченко, Т.П.
Published: (2007)
by: Любченко, Т.П.
Published: (2007)
Применение теории гиперслучайных явлений для расчета функциональных характеристик и параметров радиоэлектронных средств
by: Уваров, Б.М., et al.
Published: (2011)
by: Уваров, Б.М., et al.
Published: (2011)
Особенности структуры данных и их преобразования в системе компьютерной алгебры АНАЛИТИК
by: Клименко, В.П., et al.
Published: (2004)
by: Клименко, В.П., et al.
Published: (2004)
Компьютерное моделирование процессов передачи тепла в перспективных базовых несущих конструкциях стоечного типа с тепловыми трубами
by: Верлань, А.Ф., et al.
Published: (2008)
by: Верлань, А.Ф., et al.
Published: (2008)
Компьютерное моделирование квазирезонансного инверторного источника питания для дуговой нагрузки
by: Фельдшер, И.Ф.
Published: (2007)
by: Фельдшер, И.Ф.
Published: (2007)
Аналіз математичної моделі розповсюдження викидів з резервуарів у атмосферу
by: Тимків, Д.Ф., et al.
Published: (2009)
by: Тимків, Д.Ф., et al.
Published: (2009)
Метод динамического перераспределения потоков между портами устройства пакетной коммутации, позволяющий увеличить загрузку сетевого оборудования
by: Конахович, Г.Ф., et al.
Published: (2005)
by: Конахович, Г.Ф., et al.
Published: (2005)
Технология имитационного моделирования вариантов организации ресурсов локальных вычислительных сетей при заданной структуре системы распределенной обработки данных
by: Максимей, И.В., et al.
Published: (2005)
by: Максимей, И.В., et al.
Published: (2005)
Метод коррекции для параллелизации численных моделей гидродинамики водоемов со свободной поверхностью
by: Нестеров, А.А.
Published: (2008)
by: Нестеров, А.А.
Published: (2008)
К проблеме подавления геометрических шумов. Алгоритм пространственной регуляризации неравномерно расположенных фотоприемных элементов матрицы
by: Сапцин, В.М., et al.
Published: (2011)
by: Сапцин, В.М., et al.
Published: (2011)
Модель податків В. Балацького
by: Алєксєєв, А.А.
Published: (2006)
by: Алєксєєв, А.А.
Published: (2006)
Состояние и перспективы нейросетевого моделирования СППР в сложных социотехнических системах
by: Морозов, А.А., et al.
Published: (2010)
by: Морозов, А.А., et al.
Published: (2010)
Система численного прогноза погоды WRF-Украина
by: Гузий, А.М., et al.
Published: (2008)
by: Гузий, А.М., et al.
Published: (2008)
Определение приведенных затрат на эксплуатацию функциональных систем воздушных судов нового поколения
by: Козлюк, И.А.
Published: (2006)
by: Козлюк, И.А.
Published: (2006)
Модель оптимізації у стані економічної рівноваги
by: Алєксєєв, А.А.
Published: (2005)
by: Алєксєєв, А.А.
Published: (2005)
Модель визначення інтегрального показника інвестиційної привабливості підприємства
by: Алєксєєв, А.А., et al.
Published: (2004)
by: Алєксєєв, А.А., et al.
Published: (2004)
Про один підхід до моделювання оптичних параметрів багатошарового оптичного диска
by: Лапчук, А.С., et al.
Published: (2011)
by: Лапчук, А.С., et al.
Published: (2011)
Стоимостные критерии оптимального формирования обменного фонда авиационных радиоэлектронных систем
by: Мачалин, И.А.
Published: (2008)
by: Мачалин, И.А.
Published: (2008)
Анализ подходов оценивания вероятностей базисных событий техногенной опасности
by: Серебровский, А.Н.
Published: (2008)
by: Серебровский, А.Н.
Published: (2008)
Методы и средства имитационного моделирования производственно-экономических систем
by: Якимов, А.И.
Published: (2007)
by: Якимов, А.И.
Published: (2007)
Математические модели стратегий технического обслуживания современной авионики
by: Мачалин, И.А.
Published: (2005)
by: Мачалин, И.А.
Published: (2005)
Определение необходимого количества пассажирских воздушных судов на внутренних линиях по основным аэропортам Украины в прогнозируемом периоде
by: Козлюк, И.А.
Published: (2005)
by: Козлюк, И.А.
Published: (2005)
Быстрый метод поворота растрового изображения сложного символа, выводимого на экран геоинформационных комплексов реального времени
by: Бородин, В.А.
Published: (2004)
by: Бородин, В.А.
Published: (2004)
Экспертные системы оперативной оценки техногенной опасности
by: Серебровский, А.Н.
Published: (2007)
by: Серебровский, А.Н.
Published: (2007)
Представление процедурных знаний в диалоговой базе знаний
by: Чмырь, И.А.
Published: (2008)
by: Чмырь, И.А.
Published: (2008)
Методы оценки вероятностей отказов в процессах прогнозирования техногенных чрезвычайных происшествий
by: Серебровский, А.Н.
Published: (2007)
by: Серебровский, А.Н.
Published: (2007)
Достаточные условия экспоненциальной устойчивости нулевого стационарного состояния гибридного автомата
by: Бычков, А.С.
Published: (2007)
by: Бычков, А.С.
Published: (2007)
О подходе к решению задачи составления расписания использования летного состава в авиакомпании
by: Мирошниченко, А.В.
Published: (2010)
by: Мирошниченко, А.В.
Published: (2010)
Способ исследования производственных систем с последовательной организацией технологического цикла
by: Клименко, А.В.
Published: (2009)
by: Клименко, А.В.
Published: (2009)
Применение методов частиц в задачах с неструктурированными сетками
by: Бровченко, И.А.
Published: (2010)
by: Бровченко, И.А.
Published: (2010)
Математическое моделирование управления гидросистемой шагающей машины
by: Боровин, Г.К., et al.
Published: (2009)
by: Боровин, Г.К., et al.
Published: (2009)
Развитие Центров компетенции
by: Коваль, В.Н., et al.
Published: (2006)
by: Коваль, В.Н., et al.
Published: (2006)
Верификация модуля атмосферного переноса системы РОДОС на основе моделирования натурного эксперимента по распространению Аргона
by: Ковалец, И.В., et al.
Published: (2010)
by: Ковалец, И.В., et al.
Published: (2010)
Методика расчета оптимальной численности двигателей для воздушных судов нового поколения в обменном фонде
by: Бабак, В.П., et al.
Published: (2006)
by: Бабак, В.П., et al.
Published: (2006)
Корпоративные информационные системы: обеспечение живучести
by: Додонов, А.Г., et al.
Published: (2005)
by: Додонов, А.Г., et al.
Published: (2005)
Особенности моделирования циркулирующего двухфазного потока
by: Герега, А.Н., et al.
Published: (2010)
by: Герега, А.Н., et al.
Published: (2010)
Построение линейной аппроксимации области допустимых решений задачи размещения неориентированных геометрических объектов
by: Чуб, И.А., et al.
Published: (2010)
by: Чуб, И.А., et al.
Published: (2010)
Оптимизация инвестиций предприятий в компьютерной модели рыночной экономики
by: Косолап, А.И., et al.
Published: (2011)
by: Косолап, А.И., et al.
Published: (2011)
Решение обыкновенных дифференциальных уравнений с применением системы АНАЛИТИК-2000
by: Кралина, А.С., et al.
Published: (2004)
by: Кралина, А.С., et al.
Published: (2004)
Моделирование эвтрофикации вод северо-западной части Черного моря
by: Тучковенко, Ю.С., et al.
Published: (2007)
by: Тучковенко, Ю.С., et al.
Published: (2007)
Similar Items
-
Организация данных и структура электронного грамматического словаря немецкого языка
by: Любченко, Т.П.
Published: (2007) -
Применение теории гиперслучайных явлений для расчета функциональных характеристик и параметров радиоэлектронных средств
by: Уваров, Б.М., et al.
Published: (2011) -
Особенности структуры данных и их преобразования в системе компьютерной алгебры АНАЛИТИК
by: Клименко, В.П., et al.
Published: (2004) -
Компьютерное моделирование процессов передачи тепла в перспективных базовых несущих конструкциях стоечного типа с тепловыми трубами
by: Верлань, А.Ф., et al.
Published: (2008) -
Компьютерное моделирование квазирезонансного инверторного источника питания для дуговой нагрузки
by: Фельдшер, И.Ф.
Published: (2007)