Запропоновано інтерпретацію пізнавальних дій як модальних операторів, що поєднує результати досліджень в межах обох наявних традицій перегляду знань AGM і DDL, що дає можливість усунути протиріччя між ними та провести побудову динамічної модальної логіки перегляду знань DML. Розглянуто інтерпретацію пізнавальних дій як модальних операторів, що робить можливим розгляд пізнавальної дії в момент її проведення, завдяки чому відкриваються значні можливості для вивчення динаміки перегляду переконань і реалізується ідея динамічної логіки, що була запропонована, але не розроблена в попередніх дослідженнях зміни переконань. Уточнено зміст понять динамічної та статичної формули: динамічні вирази описують сам процес виконання пізнавальної дії, статичні вирази характеризують стан переконань до або після виконання доксастичних дій. Запропоновано можливість використання умовних доксастичних операцій, що реалізують доксастичні зобов'язання суб'єкта. Одержано формалізацію властивостей пізнавальних операцій у рамках DML, що дозволяє відповісти на питання щодо первинності та "чистоти" доксастичних операцій, прояснити роль постулату відновлення, який досі багатьма вченими вважається суперечливим, установити взаємозв'язок між пізнавальними операторами, обгрунтувати визначальну роль розширення в процесі зміни переконань і сформулювати мінімальний набір правил, достатніх для формалізації перегляду переконань у його динамічній інтерпретації. Запропоновано семантичну інтерпретацію доксастичної динамічної логіки на підставі семантики можливих світів Р. Сталнакера, що дозволяє виразити динамічний аспект перетворення переконань. Доведено несуперечливість системи аксіом DML у рамках запропонованої семантики. Уточнено розуміння описів стану й узагальнених описів стану, прояснено їх зв'язок з множинами та базами переконань: узагальнений опис стану є базою переконань і дає можливість урахувати наявність з невизначеним статусом, нескінченність об'єктної мови та можливість наявності суперечливих переконань, нормальний опис стану - це множина переконань, надана базовим світом, над яким проводяться перетворення.

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

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

The article deals with the possibilities and prospects of the improvement system of students' self-dependent learning cognitive activities organization in conditions of credit module system of educational process on the basis of time-schedule for the activities.

Наукова діяльність в академії в 2014 р. виконувалась згідно існуючої нормативно-правової документації МОЗ України. Наукові розробки співробітників академії у вигляді нововведень, методичних рекомендацій, інформаційних листів, патентів, наукових форумів тощо впроваджуються в практичну охорону здоров'я. Мета роботи - провести аналіз наукової діяльності академії за 2014 р. Співробітниками відділу науково-медичної інформації проаналізовано матеріали з наукової діяльності кафедр, що були напрацьовані у 2014 р. Застосовано методи статистичного, структурно-логічного та кластерного аналізу. В 2014 р. в академії виконувалось 13 НДР з бюджетним фінансуванням, 1 грант Європейської асоціації з вивчення цукрового діабету (ЄОДД) програми "Нові перспективи", 65 НДР ініціативно-пошукової тематики (кафедральні) та 124 НДР госпдоговірної тематики. Структуру НДР в академії наведено за різними формами фінансування: 55,9 % - за госпдоговірних умов; 36,7 % - кафедральні (ініціативно-пошукова тематика); 7,34 % - НДР пріоритетної тематики з бюджетним фінансуванням.

Впровадження розробок в практичну охорону здоров'я - важливий напрям реалізації інноваційної політики України. Мета роботи - кількісна та якісна оцінка нововведень співробітників академії щодо підвищення їх якості та впровадження в охорону здоров'я. Проаналізовано матеріали наукової діяльності академії щодо створення нововведень, їх реєстрації та впровадження в практичну охорону здоров'я. Проведено оцінку нововведень, використовуючи Шкалу градації доказовості та сили рекомендацій, затверджених Наказом МОЗ України та НАМН України від 13.11.2013 року № 969/97. Застосовано методи статичного, структурно-логічного аналізу. Наведено результати дослідження з вивчення кількісного складу нововведень за 2014 р. залежно від факультету/інституту; проведено розподіл тематики нововведень за медичними напрямами; виконано оцінку нововведень за критеріями доказовості, згідно зі Шкалою градації. Зроблено висновок про підвищення вимог до ефективності створення нововведень, що покращить якість надання медичної допомоги населенню і матиме не лише медичну, а й соціальну значимість.

Впровадження інноваційних процесів в медичну галузь є пріоритетним напрямком розвитку медичної науки і практики охорони здоров'я. Мета - кількісна та якісна оцінка методичних рекомендацій та інформаційних листів співробітників академії за 2014 р. Проаналізовано матеріали щодо створення та впровадження методичних рекомендацій (МР) та інформаційних листів (ІЛ) в практичну охорону здоров'я. Проведено кількісну та якісну оцінки МР та ІЛ, застосовуючи Шкалу градації доказовості та сили рекомендацій, затверджених Наказом МОЗ України та НАМН України від 13.11.2013 р. № 969/97. Застосовано методи статичного, структурно-логічного аналізу. Вивчено кількісний склад МР та ІЛ за 2014 р. залежно від факультету/інституту; проведено розподіл МР та ІЛ за медичними напрямами. Виконано якісну оцінку цих 2-х засобів наукової комунікації, застосовуючи Шкалу градації доказовості та сили рекомендацій. Зроблено висновок про підвищення вимог до ефективності створення МР та ІЛ, що покращить якість надання медичної допомоги населенню і матиме не лише медичну, а й соціальну значимість.

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

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

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

Various definitions of professional competence are analyzed. Basic characteristics of professional competence are revealed. Via specific examples, correspondence of logical culture to the characteristics of professional competence is demonstrated. The paper establishes connection between professional competence and logical culture, which suggests formulating certain tasks and methods of future professional’s logical culture development in the system of higher education. Suggestions are made regarding teaching the logic curriculum, which is traditionally taught in universities; a list of topics is suggested, including establishing logical form and logical modality of statements, logical connections between statements.

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

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

Розглянуто основні підходи до формування системи кадрової безпеки (КБ) підприємства. Окреслено алгоритм створення системи КБ підприємства. Визначено основні аспекти системи забезпечення КБ та проаналізовано їхній вплив на економічну безпеку підприємства. Запропоновано удосконалити взаємодію суб'єктів безпеки через регламентування системи КБ підприємства.

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

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

Цифрова криміналістика - галузь знань, що активно розвивається наразі. Задачі, що стоять перед цифровою криміналістикою, часто перетинаються з математичними методами пошуку слідів порушень цілісності цифрових зображень. Фотомонтаж, застосування фільтрів та інші порушення цілісності цифрових зображень можливі завдяки графічним редакторам з численною кількістю інструментів, зокрема - фільтрами штучного підвищення різкості. Такі графічні редактори як Gimp або Adobe Photohsop дозволять користувачам навіть без спеціальної підготовки виконувати різні маніпуляції з зображеннями і з іншими цифровими мультимедійними файлами. Проблемі виявлення порушень цілісності цифрових зображень у вигляді обробки фільтрами, зокрема, фільтрами підвищення різкості, у відкритому друці приділено мало уваги. Мета роботи - підвищення ефективності виявлення обробки цифрового зображення шляхом модифікації методу виявлення підвищення різкості. Помічено, що під впливом фільтру штучного підвищення різкості у матрицях цифрового зображення з'являється велика кількість пікселів із значенням 0. Даний ефект отримав назву "ефект чорного". Проведено аналіз параметрів цифрового зображення та ефекту чорного, що дозволило виконати модифікацію методу виявлення штучного підвищення різкості цифрових зображень. У результаті виконання роботи модифіковано метод виявлення штучного підвищення різкості цифрових зображень. Оригінал методу було протестовано для цифрових зображень у форматі без втрат. Виконану модифікацію перевірено як для зображень, збережених після обробки фільтром у форматі без втрат, так і з втратами. При тестуванні методу кількість помилок першого роду склала 8 %, другого роду - 10 % для цифрових зображень, збережених після фальсифікації з втратами, та 4 і 7 % відповідно для цифрових зображень, збережених після фальсифікації у форматі без втрат.