Як користуватися пошуком

Для пошуку академічного тексту необхідно заповнити одне або кілька полів пошукової форми: вид академічного тексту, автор / персона, наукова спеціальність, тема або назва, зміст, дата реєстрації чи державний реєстраційний номер. Якщо потрібно знайти точну фразу в назві або змісті, її слід взяти в лапки, наприклад: “відкрита наука”. Додатково можна обрати лише ті записи, для яких доступний повний текст.

Результати пошуку можна сортувати за датою, прізвищем, державним реєстраційним номером або відповідністю. У результатах використовуються позначки: сіре «око» означає, що повний текст поки недоступний; темне «око» — повний текст доступний. Натиснувши на активну позначку «око», можна перейти до перегляду повного тексту академічного тексту. Позначка «інформаційний листок» відкриває короткий опис академічного тексту, а постійне URL-посилання веде на сторінку відповідного запису в НРАТ. Позначка «перо» дає можливість додати рецензію до академічного тексту, а позначка «блог» — написати науково-популярну статтю з посиланням на відповідний академічний текст.

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

Детальний опис усіх можливостей пошуку подано на сторінці «Довідка».

Знайдено документів: 1
Інформація × Реєстраційний номер 0411U005358, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 23-06-2011 Статус Запланована Назва роботи Повні методи пошуку виведення в системах логічного програмування Здобувач Афонін Андрій Олександрович, Керівник Глибовець Микола Миколайович Опонент Клименко Віталій Петрович Опонент Лялецький Олександр Вадимович Опис Дисертацію присвячено побудові методів пошуку виведення в класичній логіці першого порядку, які можуть бути використані в системах логічного програмування, та їх теоретичному дослідженню на коректність і повноту, де коректність і повнота розуміються в логічному сенсі. Класична логіка розглянута як для випадку роботи з рівністю, так і без неї. Для логіки без рівності розроблено секвенційний підхід до встановлення вивідності, що дав змогу довести секвенційну форму теореми Ербрана, яка не потребує проведення попередньої сколемізації. Це дає основу для побудови сімейства коректних і повних, в загальному випадку, числень секвеційного типу для пошуку виведення в сигнатурі вихідної теорії першого порядку. Використовуючи її, доводиться повнота цілеорієнтованого числення такого типу. Дата реєстрації 2011-06-23 Додано в НРАТ 2020-04-04 Закрити
Дисертація кандидатська
1
Афонін Андрій Олександрович. Повні методи пошуку виведення в системах логічного програмування : к.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 2011-06-23; Статус: Захищена; Київський національний університет імені Тараса Шевченка. – , 0411U005358.
Знайдено документів: 1

Оновлено: 2026-06-29