Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (2)Автореферати дисертацій (1)Реферативна база даних (8)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Лялецький О$<.>)
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
1.

Афонін А. О. 
Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань [Електронний ресурс] / А. О. Афонін, О. В. Лялецький // Наукові записки НаУКМА. Комп'ютерні науки. - 2013. - Т. 151. - С. 20-24. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2013_151_6
Попередній перегляд:   Завантажити - 181.789 Kb    Зміст випуску     Цитування
2.

Лялецький О. В. 
Про формальний математичний текст і логічну та онтологічну коректності [Електронний ресурс] / О. В. Лялецький, А. О. Афонін // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 1. - С. 155-157. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_1_32
Розглянуто поняття логічної та онтологічної коректностей та їх використання у разі виконання верифікації різноманітних математичних текстів, поданих формальною природною мовою ForTheL.
Попередній перегляд:   Завантажити - 132.947 Kb    Зміст випуску    Реферативна БД     Цитування
3.

Лялецький О. О. 
Елементарне доведення теореми нормалізації для βη-редукції [Електронний ресурс] / О. О. Лялецький // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 1. - С. 158-160. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_1_33
Побудовано нове доведення теореми нормалізації для <$Ebeta eta>-редукції. Це доведення є більш прозорим та коротким, ніж оригінальне доведення, проведене Я. Клопом.
Попередній перегляд:   Завантажити - 406 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Лялецький О. О. 
Про інтелектуальні та інтерфейсні засоби систем автоматизації доведень теорем [Електронний ресурс] / О. О. Лялецький, А. О. Афонін // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 4. - С. 187-190. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_4_34
Попередній перегляд:   Завантажити - 148.728 Kb    Зміст випуску     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського