Описано результати сучасних досліджень, проведених за програмою автоматизації доведень теорем, ініційованою В. М. Глушковим у 1960-х рр. і названою "Алгоритм Очевидності". Представлено засоби мовної та дедуктивної підтримки даної програми.

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

Рубрики:

Пухлини щитоподібної залози

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

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

Індекс рубрикатора НБУВ: Р569.133.1-436.7

Рубрики:

Пухлини молочних (грудних) залоз

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

Представлено стислий опис теперішнього стану системи автоматизації дедукції (САД), а також проблеми, з якими стикаються під час роботи з цією системою. Більш докладно розглянуто мовні проблеми. Система автоматизації дедукції грунтується на принципах евіденційної парадигми автоматизації математичної діяльності. На цій парадигмі базується програма "Алгоритм очевидності" (Evidence Algorithm). Система САД призначена для інтелектуальної обробки математичних текстів, такої, як автоматичне доведення теорем і верифікація текстів, записаних на ForTheL, формальній математичній мові, яка є наближеною до природної мови математичних публікацій. На сьогодні систему САД можна використовувати для встановлення вивідності секвенцій у класичній логіці першого порядку, пошуку доведень теорем у ForTheL-середовищі та верифікації замкнених ForTheL-текстів.

Індекс рубрикатора НБУВ: Р569.452-5

Рубрики:

Пухлини щитоподібної залози

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

Індекс рубрикатора НБУВ: Р569.481-4

Рубрики:

Пухлини кісток

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

  Скачати повний текст

Індекс рубрикатора НБУВ: П682-3

Рубрики:

Курівництво

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

  Скачати повний текст

Висвітлено типологічну суголосність та особливості внутрішньо-контактних зв'язків Володимира Винниченка з творчістю Генріка Ібсена, Августа Стріндберга, Станіслава Пшибишевського. Детально проаналізовано багаторівневу реалізацію конфлікту в п'єсах Г.Ібсена ("Привиди", "Дика качка", "Коли ми, мертві, прокидаємось", "Бранд") відповідно Винниченковим ("Пригвождені", "Брехня", "Чорна Пантера і Білий Медвідь", "Пророк"). Досліджено диференційні риси впливу на структуру та характер драматичного конфлікту естетики експресіонізму й естетики символізму в п'єсах - А.Стріндберга, С.Пшибишевського, В.Винниченка. Проведено зіставний аналіз п'єс "Батько" А.Стріндберга та "Натусь" В.Винниченка, "Шлюби" С.Пшибишевського та "Чорна Пантера і Білий Медвідь" В.Винниченка.

Досліджено проблему міжлітературної рецепції, яку розглянуто на основі структури та специфіки конфлікту у п'єсах Г. Ібсена "Бранд" і В. Винниченка "Пророк".

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

Вивчено генетичну структуру вихідних ліній кросів Борки-117, Борки-Колор, Слобідський-3, Ломан браун, Домінант бурий D-102 з використанням маркерних ознак. Кожна лінія має власний імуногенетичний профіль і математично вірогідно відрізняється від інших за частотою прояву більшості конкретних еритроцитарних антигенів. Рівень гетерозиготності ліній також свідчить про досить високий ступінь відселекціонованості. За характером розподілу частот генів, що контролюють синтез протеїнів яєчного білка, лінії A, B, C, D, 68, M істотно відрізняються від усіх досліджених раніше ліній яєчних курей.

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

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

Індекс рубрикатора НБУВ: Р569.452-5 + Р569.423

Рубрики:

Пухлини щитоподібної залози

Пухлини легенів

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

Індекс рубрикатора НБУВ: Р36 р3 + Р11(4УКР) р3-33

Рубрики:

Медична радіологія і рентгенологія

Організація охорони здоров'я

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

Індекс рубрикатора НБУВ: Р569.481-5

Рубрики:

Пухлини кісток

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

Індекс рубрикатора НБУВ: Р569.481-5

Рубрики:

Пухлини кісток

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