Пошуковий запит: (<.>A=Нікітченко М$<.>) |
Загальна кількість знайдених документів : 39
Представлено документи з 1 до 20
|
| | |
| 1. | Ж16833 Нікітченко М. С. Семантичні аспекти посткласичних логік [Текст]: 1-2 // Пробл. программирования.-С.3-12
|
| 2. | ВА651018 Нікітченко М. С.Київ. нац. ун-т ім. Т.Шевченка. Математична логіка [Текст] : Навч. посіб.
|
| 3. | Ж16833 Нікітченко М. С. Композиційні логіки номінативних даних [Текст]: 3 // Пробл. программирования.-С.29-40
|
| 4. | Ж16833 Нікітченко М. С. Композиційно-номінативні логіки предикатів над даними з неповною інформацією [Текст]: 2-3 [спец. вып.] // Пробл. программирования.-С.74-80
|
| 5. | Ж16833 Нікітченко М. С. Композиційно-номінативні модальні логіки [Текст]: 1-2 [спец. вып.] // Пробл. программирования.-С.27-33
|
| 6. | Ж16833 Нікітченко М. С. Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення [Текст]: 2 // Пробл. программирования.-С.28-41
|
| 7. | Ж16833 Нікітченко М. С. Ієрархія композиційно-номінативних логік [Текст]: 4 // Пробл. программирования.-С.3-12
|
| 8. | Ж16833 Нікітченко М. С. Інтенсіонально-орієнтований підхід до побудови логічних систем [Текст]: 2 // Пробл. програмув.-С.15-40
|
| 9. | Ж16833 Нікітченко М. С. Логіки, орієнтовані на специфікації програм [Текст]: 2-3 [спец. вип.] // Пробл. програмув.-С.17-24
|
| 10. | Ж16833 Нікітченко М. С. Композиційно-номінативні логіки з операторами нерухомої точки [Текст]: N 2/3 (спец. вип.) // Пробл. програмув.-С.64-74
|
| 11. | РА314931 Нікітченко М. С.Київ. нац. ун-т ім. Т.Шевченка. Теорія інтегрованих композиційно-номінативних моделей програм [Текст] : Автореф. дис... д-ра фіз.-мат. наук : 01.05.03.- URL: /ard/2001/
|
| 12. | ВС50604 Нікітченко М. С.Київ. нац. ун-т ім. Т.Шевченка. Математична логіка та теорія алгоритмів [Текст] : підруч. для студ. кіберн. ф-тів вищ. навч. закл.
|
| 13. | Ж28079/фіз.-мат. Нікітченко М. С. Семантичні властивості монотонних логік Флойда - Хоара [] // Вісник Київського національного університету. Серія Фізико-математичні науки, 2012,N Вип. 3.-С.215-222
|
| 14. | Ж16833 Нікітченко М. С. Логіки квазіарних предикатів кванторно-екваційного рівня [] // Проблеми програмування, 2012,N № 4.-С.19-34
|
| 15. | Ж28079/фіз.-мат. Нікітченко М. С. Композиційно-номінативні логіки квазіарних предикатів: семантичні аспекти [] // Вісник КНУ. Серія Фізико-математичні науки, 2012,N Вип. 4.-С.165-172
|
| 16. | Ж73466 Акіменко В. В. Особливості розробки освітнього стандарту з інформатики (напрям підготовки 040302) [] // Інформаційні технології в освіті, 2010,N Вип. 5.-С.9-15
|
| 17. | Ж69331 Нікітченко М. С. Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями [] // Проблеми програмування, 2014,N № 2/3 (спец. вип.).-С.17-28
|
| 18. | ВА791459 Нікітченко М. С. Прикладна логіка [Текст] : навч. посіб. / М. С. Нікітченко, С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка
|
| 19. | Ж28079/фіз.-мат. Нікітченко М. С. Логіки часткових предикатів з розширеними реномінаціями та кванторами [] // Вісник КНУ. Серія Фізико-математичні науки, 2013,N Вип. 2.-С.210-215
|
| 20. | Ж28079/фіз.-мат. Нікітченко М. С. Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних [] // Вісник КНУ. Серія Фізико-математичні науки, 2013,N Спец. вип.-С.128-133
|
| | |
Простий пошук
Віртуальна довідка