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

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

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

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

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

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

Збірник присвячено 70-річчю від дня народження видатного українського філософа Мирослава Поповича. Окремі розділи присвячено морально-етичній легітимізації політики за часів модернізації суспільства, сцієнтизму американської філософії освіти та можливостям її інтерпретації у вітчизняному контексті. Проаналізовано вплив української культури на процеси європеїзації північно-східної периферії окцидентального світу. Вивчено етнополітичну спадщину Б.Кістяківського у світлі актуальних проблем етики та філософії культури.

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

Індекс рубрикатора НБУВ: Ю252:В314 + В314в55

Рубрики:

Філософські питання і філософське значення квантової механіки

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

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

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

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

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

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

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

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

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

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

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

In the article the basic going is examined near research of argumentation, feature of argumentation in logiko-philosophical, linguistic, pragmadialekticheskom aspects, the construction of argumentation is analysed from mezhdisciplinarnykh positions, the linguistic aspects of argumentation are determined.

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

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

Індекс рубрикатора НБУВ: З973-018.2

Рубрики:

Комп'ютери та програмування

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

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

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

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