Синтез-обоснование идеала структуры языка научной теории
Синтезировано некоторое приближение к семантической модели идеала структуры языка 
 научной теории, непротиворечиво сочетающей содержательность с формальностью, и согласовано с 
 известными результатами, разделяемыми автором. Структура языков научных теорий состоит из 
 четыр...
Збережено в:
| Опубліковано в: : | Математичні машини і системи |
|---|---|
| Дата: | 2006 |
| Автор: | Кургаев, А.Ф. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2006
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/58526 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Синтез-обоснование идеала структуры языка научной теории / А.Ф. Кургаев // Мат. машини і системи. — 2006. — № 1. — С. 99-112. — Бібліогр.: 35 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Организация данных и структура электронного грамматического словаря немецкого языка
за авторством: Любченко, Т.П.
Опубліковано: (2007)
за авторством: Любченко, Т.П.
Опубліковано: (2007)
Применение теории гиперслучайных явлений для расчета функциональных характеристик и параметров радиоэлектронных средств
за авторством: Уваров, Б.М., та інші
Опубліковано: (2011)
за авторством: Уваров, Б.М., та інші
Опубліковано: (2011)
Особенности структуры данных и их преобразования в системе компьютерной алгебры АНАЛИТИК
за авторством: Клименко, В.П., та інші
Опубліковано: (2004)
за авторством: Клименко, В.П., та інші
Опубліковано: (2004)
Компьютерное моделирование процессов передачи тепла в перспективных базовых несущих конструкциях стоечного типа с тепловыми трубами
за авторством: Верлань, А.Ф., та інші
Опубліковано: (2008)
за авторством: Верлань, А.Ф., та інші
Опубліковано: (2008)
Компьютерное моделирование квазирезонансного инверторного источника питания для дуговой нагрузки
за авторством: Фельдшер, И.Ф.
Опубліковано: (2007)
за авторством: Фельдшер, И.Ф.
Опубліковано: (2007)
Аналіз математичної моделі розповсюдження викидів з резервуарів у атмосферу
за авторством: Тимків, Д.Ф., та інші
Опубліковано: (2009)
за авторством: Тимків, Д.Ф., та інші
Опубліковано: (2009)
Метод динамического перераспределения потоков между портами устройства пакетной коммутации, позволяющий увеличить загрузку сетевого оборудования
за авторством: Конахович, Г.Ф., та інші
Опубліковано: (2005)
за авторством: Конахович, Г.Ф., та інші
Опубліковано: (2005)
Технология имитационного моделирования вариантов организации ресурсов локальных вычислительных сетей при заданной структуре системы распределенной обработки данных
за авторством: Максимей, И.В., та інші
Опубліковано: (2005)
за авторством: Максимей, И.В., та інші
Опубліковано: (2005)
Метод коррекции для параллелизации численных моделей гидродинамики водоемов со свободной поверхностью
за авторством: Нестеров, А.А.
Опубліковано: (2008)
за авторством: Нестеров, А.А.
Опубліковано: (2008)
К проблеме подавления геометрических шумов. Алгоритм пространственной регуляризации неравномерно расположенных фотоприемных элементов матрицы
за авторством: Сапцин, В.М., та інші
Опубліковано: (2011)
за авторством: Сапцин, В.М., та інші
Опубліковано: (2011)
Модель податків В. Балацького
за авторством: Алєксєєв, А.А.
Опубліковано: (2006)
за авторством: Алєксєєв, А.А.
Опубліковано: (2006)
Состояние и перспективы нейросетевого моделирования СППР в сложных социотехнических системах
за авторством: Морозов, А.А., та інші
Опубліковано: (2010)
за авторством: Морозов, А.А., та інші
Опубліковано: (2010)
Система численного прогноза погоды WRF-Украина
за авторством: Гузий, А.М., та інші
Опубліковано: (2008)
за авторством: Гузий, А.М., та інші
Опубліковано: (2008)
Определение приведенных затрат на эксплуатацию функциональных систем воздушных судов нового поколения
за авторством: Козлюк, И.А.
Опубліковано: (2006)
за авторством: Козлюк, И.А.
Опубліковано: (2006)
Модель оптимізації у стані економічної рівноваги
за авторством: Алєксєєв, А.А.
Опубліковано: (2005)
за авторством: Алєксєєв, А.А.
Опубліковано: (2005)
Модель визначення інтегрального показника інвестиційної привабливості підприємства
за авторством: Алєксєєв, А.А., та інші
Опубліковано: (2004)
за авторством: Алєксєєв, А.А., та інші
Опубліковано: (2004)
Про один підхід до моделювання оптичних параметрів багатошарового оптичного диска
за авторством: Лапчук, А.С., та інші
Опубліковано: (2011)
за авторством: Лапчук, А.С., та інші
Опубліковано: (2011)
Стоимостные критерии оптимального формирования обменного фонда авиационных радиоэлектронных систем
за авторством: Мачалин, И.А.
Опубліковано: (2008)
за авторством: Мачалин, И.А.
Опубліковано: (2008)
Анализ подходов оценивания вероятностей базисных событий техногенной опасности
за авторством: Серебровский, А.Н.
Опубліковано: (2008)
за авторством: Серебровский, А.Н.
Опубліковано: (2008)
Методы и средства имитационного моделирования производственно-экономических систем
за авторством: Якимов, А.И.
Опубліковано: (2007)
за авторством: Якимов, А.И.
Опубліковано: (2007)
Математические модели стратегий технического обслуживания современной авионики
за авторством: Мачалин, И.А.
Опубліковано: (2005)
за авторством: Мачалин, И.А.
Опубліковано: (2005)
Определение необходимого количества пассажирских воздушных судов на внутренних линиях по основным аэропортам Украины в прогнозируемом периоде
за авторством: Козлюк, И.А.
Опубліковано: (2005)
за авторством: Козлюк, И.А.
Опубліковано: (2005)
Быстрый метод поворота растрового изображения сложного символа, выводимого на экран геоинформационных комплексов реального времени
за авторством: Бородин, В.А.
Опубліковано: (2004)
за авторством: Бородин, В.А.
Опубліковано: (2004)
Экспертные системы оперативной оценки техногенной опасности
за авторством: Серебровский, А.Н.
Опубліковано: (2007)
за авторством: Серебровский, А.Н.
Опубліковано: (2007)
Представление процедурных знаний в диалоговой базе знаний
за авторством: Чмырь, И.А.
Опубліковано: (2008)
за авторством: Чмырь, И.А.
Опубліковано: (2008)
Методы оценки вероятностей отказов в процессах прогнозирования техногенных чрезвычайных происшествий
за авторством: Серебровский, А.Н.
Опубліковано: (2007)
за авторством: Серебровский, А.Н.
Опубліковано: (2007)
Достаточные условия экспоненциальной устойчивости нулевого стационарного состояния гибридного автомата
за авторством: Бычков, А.С.
Опубліковано: (2007)
за авторством: Бычков, А.С.
Опубліковано: (2007)
О подходе к решению задачи составления расписания использования летного состава в авиакомпании
за авторством: Мирошниченко, А.В.
Опубліковано: (2010)
за авторством: Мирошниченко, А.В.
Опубліковано: (2010)
Способ исследования производственных систем с последовательной организацией технологического цикла
за авторством: Клименко, А.В.
Опубліковано: (2009)
за авторством: Клименко, А.В.
Опубліковано: (2009)
Применение методов частиц в задачах с неструктурированными сетками
за авторством: Бровченко, И.А.
Опубліковано: (2010)
за авторством: Бровченко, И.А.
Опубліковано: (2010)
Математическое моделирование управления гидросистемой шагающей машины
за авторством: Боровин, Г.К., та інші
Опубліковано: (2009)
за авторством: Боровин, Г.К., та інші
Опубліковано: (2009)
Развитие Центров компетенции
за авторством: Коваль, В.Н., та інші
Опубліковано: (2006)
за авторством: Коваль, В.Н., та інші
Опубліковано: (2006)
Верификация модуля атмосферного переноса системы РОДОС на основе моделирования натурного эксперимента по распространению Аргона
за авторством: Ковалец, И.В., та інші
Опубліковано: (2010)
за авторством: Ковалец, И.В., та інші
Опубліковано: (2010)
Методика расчета оптимальной численности двигателей для воздушных судов нового поколения в обменном фонде
за авторством: Бабак, В.П., та інші
Опубліковано: (2006)
за авторством: Бабак, В.П., та інші
Опубліковано: (2006)
Корпоративные информационные системы: обеспечение живучести
за авторством: Додонов, А.Г., та інші
Опубліковано: (2005)
за авторством: Додонов, А.Г., та інші
Опубліковано: (2005)
Особенности моделирования циркулирующего двухфазного потока
за авторством: Герега, А.Н., та інші
Опубліковано: (2010)
за авторством: Герега, А.Н., та інші
Опубліковано: (2010)
Построение линейной аппроксимации области допустимых решений задачи размещения неориентированных геометрических объектов
за авторством: Чуб, И.А., та інші
Опубліковано: (2010)
за авторством: Чуб, И.А., та інші
Опубліковано: (2010)
Оптимизация инвестиций предприятий в компьютерной модели рыночной экономики
за авторством: Косолап, А.И., та інші
Опубліковано: (2011)
за авторством: Косолап, А.И., та інші
Опубліковано: (2011)
Решение обыкновенных дифференциальных уравнений с применением системы АНАЛИТИК-2000
за авторством: Кралина, А.С., та інші
Опубліковано: (2004)
за авторством: Кралина, А.С., та інші
Опубліковано: (2004)
Моделирование эвтрофикации вод северо-западной части Черного моря
за авторством: Тучковенко, Ю.С., та інші
Опубліковано: (2007)
за авторством: Тучковенко, Ю.С., та інші
Опубліковано: (2007)
Схожі ресурси
-
Организация данных и структура электронного грамматического словаря немецкого языка
за авторством: Любченко, Т.П.
Опубліковано: (2007) -
Применение теории гиперслучайных явлений для расчета функциональных характеристик и параметров радиоэлектронных средств
за авторством: Уваров, Б.М., та інші
Опубліковано: (2011) -
Особенности структуры данных и их преобразования в системе компьютерной алгебры АНАЛИТИК
за авторством: Клименко, В.П., та інші
Опубліковано: (2004) -
Компьютерное моделирование процессов передачи тепла в перспективных базовых несущих конструкциях стоечного типа с тепловыми трубами
за авторством: Верлань, А.Ф., та інші
Опубліковано: (2008) -
Компьютерное моделирование квазирезонансного инверторного источника питания для дуговой нагрузки
за авторством: Фельдшер, И.Ф.
Опубліковано: (2007)