Розглянуто абстрактну архітектуру машини баз знань, які інтерпретуються апаратним процесором баз знань, і питання машинного представлення баз знань; сформульовано аксіоматичний базис та правила системи виведення теорем всякої прикладної теорії. Досліджено повноту і адекватність формальної інструментальної системи; наведено алгоритм інтерпретації знань, структуру і реалізацію процесора баз знань та відомості про системне програмне забезпечення й ефективність використання машини.

У монографії, виходячи з аналізу наслідків і основних чинників системної кризи в Україні та особливостей економіки перехідного періоду з урахуванням проблем геоекономіки, значення національної ідеї в житті суспільства, доводиться необхідність зміни курсу реформ, антинауковість рекомендацій та умов співпраці із міжнародними фінансовими організаціями. Враховуючи світовий досвід, запропоновано ті економічні теорії, опираючись на які Україна зможе вийти з кризи і започаткувати стабільне економічне зростання. В книзі є значна кількість елементів наукової новизни в економічній теорії, зокрема в теорії інфляції. Зроблено крок до побудови макроекономіки на аксіоматичній основі. Введено поняття стійкості економічної системи, що дозволяє глибше зрозуміти механізм розвитку міжнародних фінансових криз. Наведено авторські законопроекти "Засади внутрішньої економічної політики на перехідний період", "Засади національних інтересів України", які, по суті, формують рамки нового курсу України.

Представлено сучасні досягнення в галузі прикладної математики, що інтенсивно розвивається в Україні та за кордоном. Запропоновано новий підхід до теорії екстремальних задач для нелінійних операторних, диференціально-операторних рівнянь та включень, а також варіаційних нерівностей в банахових просторах. Наведено аксіоматичне вивчення нелінійних відображень (в т.ч. багатозначних), і в їх термінах встановлено властивості розв'язуючих операторів систем, які складаються з операторних та диференціально-операторних рівнянь. Визначено умови розв'язування та властивості розв'язків екстремальних задач, побудовано їх слабкі розширення і необхідні умови оптимальності у формі варіаційних нерівностей, розроблено методи регуляризації та обгрунтовано апроксимаційні схеми.

Розглядається проблема опису цілісних форм поведінки клітини і значення такого типу поведінки для функціонування нервової тканини на різних етапах її розвитку, що є важливим для розв'язання ряду традиційних питань теорії нейронних сіток, таких, як зміни інтенсивності взаємодії нейронів в процесі навчання, природа динамічних режимів, існуючих в сітці, та ін.

Розглядаються особливості аксіоматичної побудови геометрії, дослідження аксіом евклідової геометрії. Розкриваються питання адаптації аксіоматики до шкільного курсу геометрії, зокрема, аксіоматики А.М.Колмогорова, О.В.Погорєлова, О.Д.Олександрова. Висвітлюються особливості геометрії Лобачевського-Бойяї-Гаусса.

Базуючись на енергетичній концепції теорії стохастичних сигналів, дано стислий конструктивний (тобто не тільки аксіоматичний) виклад основ теорії (понять і математичних засобів) зображень, перетворень та аналізу сигналів (детермінованих і стохастичних) на підставі подання їх лінійними моделями з головним акцентом на гармонічно-спектральний аналіз та інваріантні перетворювачі.

Висвітлено актуальні проблеми математики, фізики, філософії та суспільства. Основну увагу приділено аксіоматиці, подвійній логіці, законам діалектики, матеріалізму та ідеалізму, головним законам Всесвіту.

Подано комбінаторні поняття і формули, що знаходять застосування в теорії ймовірностей і математичній статистиці та інших розділах математики. Розглянуто випадкові події та імовірності, основні теореми класичної теорії ймовірностей. Наведено різні означення імовірності (частотне, класичне, аксіоматичне, геометричне), умовну імовірність та її властивості, незалежність випадкових подій, теореми додавання та множення імовірностей. Викладено випадкові вектори і функції випадкових аргументів, числові характеристики випадкових величин, закон великих чисел, типові задачі математичної статистики, основні поняття вибіркового методу, статистичні оцінки параметрів розподілу, питання кореляційного аналізу та статистичної перевірки гіпотез.

Видатному математику та фізику-теоретику М.М.Боголюбову належить чимало ідей та фундаментальних результатів у багатьох напрямках релятивістської динаміки частинок. Розробивши у середині 60-х рр. аксіоматику квантової теорії поля та дисперсійну техніку, М.М.Боголюбов з рядом своїх співробітників звернувся до теорії елементарних частинок, що бурхливо розвивалась в ті роки, та одержав у ній низку важливих результатів, зокрема, з теорії симетрії та теорії динамічних кваркових моделей.

Розглядається можливість задання семантики довільних аксіоматичних систем в топосі комплектів GAMMA-set.

Розглянуто засади математичного аналізу, зокрема, суть основних понять і аксіом теорії множин і відображень, аксіоматичну теорію дійсних чисел з аналізом її методологічних проблем. Подано теоретичні відомості про елементарні функції з детальним викладом їх властивостей. Запропоновано метод викладання тригонометричних функцій, вільного від застосування геометричних понять, модель Дедекінда на підставі теорії множин. Описано методи математичної індукції, означення індукцією, рекурентний метод задання послідовностей.

Рассмотрены основы математического анализа, в частности, сущность основных понятий и аксиом теории множеств и отражения, аксиоматическая теория действительных чисел з анализом ее методологических проблем. Даны теоретические сведения об элементарных функциях с подробным изложением их свойств. Предложены метод изложения тригонометрических функций без применения геометрических понятий, модель Дедекинда на основе теории множеств. Описаны методы математической индукции, определения индукцией, рекурентный метод задания последовательности.

Індекс рубрикатора НБУВ: Ю433.1

Шифр НБУВ: Ж61798 Пошук видання у каталогах НБУВ 

Наведено загальну характеристику неокласичної економічної теорії, проаналізовано її аксіоматику та методологію. Зроблено висновки щодо придатності та можливих сфер застосування неокласичних концепцій у процесі інституційної трансформації української та інших економік перехідного типу. Розглянуто ефективні методики, що формують основи для впровадження інформаційних технологій в управління діяльністю господарюючих суб'єктів. Акцентовано увагу на питаннях розробки теоретико-методологічних основ створення автоматизованої системи інформаційного забезпечення механізму регулювання затрат і результатів праці. Особливу увагу приділено питанням вивчення методів проведення стратегічного аналізу на підприємстві. Запропоновано методику проведення оцінки конкурентного статусу фірми, розроблену з використанням результатів аналізу потенціалу підприємства.

Розглянуто процедури та методи прийняття фінансових рішень, а також інструменти їх обгрунтування та підтримки. Висвітлено аксіоматичні теорії раціональної поведінки за умов визначеності та невизначеності, досліджено методи оцінки та порівняння багатокритеріальних альтернатив, визначено особливості переробки інформації людиною у процесі прийняття рішень. Викладено концепцію побудови системи підтримки прийняття фінансових рішень (СППФР), наведено класифікацію та проаналізовано комплекси фінансових задач. Розроблено структурну модель СППФР на підприємстві, а також бази даних і бази моделей засобами MS Office для Windows. Наведено перспективні технології розробки СППФР.

Проаналізовано економічні системи у аспектах їх періодизації, типологізації та класифікації. Наведено найновітніше визначення економічних систем як результату певної практичної діяльності. Розроблено неповну, умовно-повну та повну (системну, цілісну, завершену) аксіоматичні моделі економічних систем. Критично проаналізовано історію формування економічних знань як певний історичний процес переходу від елементарної до вищої та гіпервисокої теорій.

Проанализированы экономические системы в аспектах их периодизации, типологизации и классификации. Приведено современое определение экономических систем как некоторой практической деятельности. Сформирована неполная, условно-полная и полная (системная, целостная, завершенная) аксиоматические модели экономических систем. В полной (наисовременнейшей) модели экономическая система изображена как единство видимой и невидимой ее частей. Осуществлен критический анализ истории формирования экономических знаний как определенного исторического процесса перехода от элементарной к высшей (высокой) и гипервысокой теориям.

Economic systems are analyzed from the point of their periodization, types and classification. The author gives the newest definition of economic systems as certain practical activity. There are formed incomplete, conditionally complete and complete (systematized, unified, completed) axiomatic economic systems models. In the complete (the newest) model the economic system is shown as a unity of its visible and invisible parts.

Наведено результати досліджень в галузях фізики твердого тіла, астрономії, диференціальних та інтегральних рівнянь. Значну увагу приділено математичному і числовому аналізу, алгебрі, геометрії. Розглянуто проблеми методики викладання фізики, математики та інформатики у вищих учбових та середніх навчальних закладах освіти. Розкрито деякі аспекти методики викладання курсу вищої математики в аграрних вузах. Висвітлено ітераційні методи розв'язування систем лінійних алгебричних рівнянь. Описано елементарну аксіоматику транзитивної множини (фундаментально впорядкованої) проекційної півгрупи багатозначних перетворень. Проаналізовано вплив термоциклічних обробок на механічні характеристики конструкційних матеріалів, зміну параметрів субструктури алюмінієвих сплавів після термоциклювання.

Приведены результаты исследования в отраслях физики твердого тела, астрономии, дифференциальных и интегральных уравнений. Значительное внимание уделено математическому и числовому анализу, алгебре, геометрии. Рассмотрены проблемы методики преподавания физики, математики и информатики в высших и средних учебных заведениях. Раскрыты некоторые аспекты методики преподавания курса высшей математики в аграрных вузах. Освещены итерационные методы решения систем линейных алгебраических уравнений. Описана элементарная аксиоматика транзитивных множеств (фундаментально упорядоченной) проекционной полугруппы многозначных преобразований. Проанализированы влияние термоциклической обработки на механические характеристики конструкционных материалов, изменения параметров субструктуры алюминиевых сплавов после термоциклирования.

Розглянуто аксіоматичні методи побудови геометрії. На підставі аксіоматики Погорєлова обгрунтовано геометрію Евкліда. Охарактеризовано зміст його "Початків", сформульовано аксіоми та постулати. Розкрито суть основних понять сферичної геометрії, зокрема, сферичного кута, руху і рівності на сфері. Висвітлено життєвий шлях, педагогічну та наукову діяльність М.І.Лобачевського, вміщено перелік його основних праць з нової геометрії.

Рассмотрены аксиоматические методы построения геометрии. На основании аксиоматики Погорелова обоснована геометрия Эвклида, охарактеризовано содержание его "Начал", сформулированы аксиомы и постулаты. Раскрыто содержание основных понятий сферической геометрии, в частности, сферического угла, движения и ровности на сфере. Освещен жизненный путь, педагогическая и научная деятельность М.И.Лобачевского, помещен перечень его основных трудов по новой геометрии.

Розглянуто класифікацію випадкових подій, аксіоматичні основи теорії ймовірностей, елементи комбінаторики. Висвітлено закони розподілу випадкових величин і процесів, їх числові характеристики. Викладено основи математичної статистики, числові характеристики вибіркового розподілу, розкрито елементи кореляційного і регресійного аналізу.

Рассмотрены классификация случайных событий, аксиоматические основы теории вероятностей, элементы комбинаторики. Освещены законы распределения случайных величин и процессов, их числовые характеристики. Изложены основы математической статистики, числовые характеристики выборочного распределения, раскрыты элементы кореляционного и регресионного анализа.

Висвітлено теорії ймовірності та математичного аналізу. Описано види ймовірностей, зокрема, геометричний, аксіоматичний, умовний, класичний. Розкрито суть понять простору елементарних подій, випадкових величин, незалежних подій, вибірки. Наведено формули повної ймовірності, а також відомості про математичну статистику.

Освещены теории вероятности и математического анализа. Описаны виды вероятности, в частности, геометрический, аксиоматический, условный, классический. Раскрыта сущность понятий пространства элементарных событий, случайных величин, независимых событий, выборки. Приведены формулы полной вероятности, а также сведения о математической статистике.

Висвітлено проблеми та перспективи квантової криптології. Розглянуто питання ієрархічної кластеризації складних схем. Описано інтранет-орієнтовану систему для дистанційної освіти з модулем аналізу динамічних систем, оптимальні структурні пропорції в інформаційних системах та задачах стандартизації. Викладено концепцію аксіоматичного підходу до побудови теорії інформації.

Освещены проблемы и перспективы квантовой криптологии. Рассмотрены вопросы иерархической кластеризации сложных схем. Описаны интранет-ориентированная система для дистанционного образования с модулем анализа динамических систем, оптимальные структурные пропорции в информационных системах и задачах стандартизации. Изложена концепция аксиоматического подхода к построению теории информации.