Автори, співробітники Університету

Ченцов Олексій Ілліч
Alexey I. Chentsov

Ідентифікатор автора: 43011
Author Identifier Number Scopus: 12039235300 →
Кількість пошукових запитів автора: 675
Інформація про автора в енциклопедії університету (eu.univ.kiev.ua) →

Підрозділ: Факультет комп'ютерних наук та кібернетики
Кафедра/Відділ: Інтелектуальних програмних систем
Посада: доцент

Науковий ступінь: кандидат
Наукове звання: доцент
Наукові інтереси: абстрактні обчислювальні структури / дискретна математика / комп’ютерна алгебра / теорія категорій / параметризоване програмування / реверсна та ре-інженерія програмних систем /

Публікаційна активність


Всього публікацій у базі - 27, з них наукових статей (наукові публікації) - 4, монографій - 0, підручників - 1, навчальних посібників - 11, тез (наукові публікації) - 1, матеріалів конференцій (наукові публікації) - 0

Всього публікацій у Scopus (affiliation - Taras Shevchenko National University of Kyiv) - 2

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Composition-nominative logics as institutions
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2018
Logica Universalis
в.126 c.221-238
2
Навчальний посібник
Дискретна матема тика. Посібник першокурсника з українсько-англійським тематичним словником. Множини.
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2016
ВПЦ "Київський університет"
3
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Комбінаторика. Теорія алгоритмів.
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2016
ВПЦ "Київський університет"
4
Навчальний посібник
Дискретна матема тика. Посібник першокурсника з українсько-англійським тематичним словником. Булеві функції. Теорія графів.
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2017
ВПЦ "Київський університет"
5
Навчальний посібник
Дискретна матема тика. Посібник першокурсника з українсько-англійським тематичним словником. Теорія автоматів. Теорія кодування.
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2017
ВПЦ "Київський університет"
6
Праці конференції
The Institution-Theoretic Approach to Composition-Nominative Logics
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.257-262
7
Наукова стаття
Many-Sorted First-Order Composition-Nominative Logic as Institution
Ченцов Олексій Ілліч
2016
Computer Science Journal of Moldova
т.24 в.1 c.27-54
8
Навчальний посібник
Дискретна математика. Теорія автоматів. Теорія кодування
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2015
Видавничо-поліграфічний центр "Київський університет"
c.1-56
9
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Булеві функції. Теорія графів.
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2015
ВПЦ "Київський університет"
c.1-84
10
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським словником. Множини
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2015
ВПЦ "Київський університет"
c.1-68
11
Праці конференції
Third decade developments of C++ programming language
Ченцов Олексій Ілліч
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.244-245
12
Праці конференції
Institution for Pure First-Order Composition-Nominative Logic
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2015
Foundations of Informatics (FOI): International workshop
т.1 c.50-53
13
Тези
Composition-Nominative Logics as Institutions
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2015
Handbook of the 5th World Congress and School on Universal Logic (Istanbul, Turkey, June, 20–30, 2015). – Istanbul University, 2015
c.370-371
14
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Булеві функції. Теорія графів.
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2014
ВПЦ "Київський університет"
c.1-87
15
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Теорія автоматів. Теорія кодування.
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2014
Видавничо-поліграфічний центр "Київський університет"
c.1-52
16
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Множини.
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2014
Видавничо-поліграфічний центр "Київський університет"
c.1-68
17
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Комбінаторика. Теорія алгоритмів
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2013
Видавничо-поліграфічний центр "Київський університет"
c.1-36
18
Підручник
Дискретна математика
Кривий Сергій Лук'янович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2014
Букрек
c.1-568
19
Наукова стаття
Basics of Intensionalized Data: Presets, Sets, and Nominats
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2012
Current problems in information and computational technologies
т.20 c.334.0000
20
Наукова стаття
Програмна реалізація теорії категорій
Ченцов Олексій Ілліч
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.220.0000
21
Тези
Implementing categories with generic programming techniques, -а Міжнародна алгебраїчна конференція в Україні (ЛНУ ім. Т. Шевченка, 5-12 липня 2011). – Луганськ
Ченцов Олексій Ілліч
2011
22
Тези
Free category generated by a partial semigroup. - Proc. of the 7th International algebraic conference in Ukraine (Karazin National University of Kharkiv, 18-23 august 2009). – Кyiv, 2009
Ченцов Олексій Ілліч
2009
23
Тези
Параметризованное программирование: современное состояние и перспективы - Міжнародна конференція «Теоретичні та прикладні аспекти побудови програмних систем», 8-10 грудня 2009, Київ
Ченцов Олексій Ілліч
2009
24
Тези
Partial Binary Reengineering of Software Systems // Тези доп. міжн. конф. “Теоретичні та прикладні аспекти побудови програмних систем”. – Київ: КНУ, 2008
Ченцов Олексій Ілліч
2008
25
Тези
Про метод інваріантів ітеративних морфізмів // Тези доп. всеукр. наук. конф. “Сучасні проблеми прикладної математики та інформатики”. – Львів: ЛНУ, 2008
Ченцов Олексій Ілліч
2008
26
Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці
Ченцов Олексій Ілліч
2007
27
Тези
Перенесення та модифікація програмної системи з частково закритим кодом. 3 Міжнар. конф. ”Теор. та прикл. аспекти побудови програмних ситем”, Києво-Могилянська академія, грудень 2006
Ченцов Олексій Ілліч
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"

Повернення до списку

Вгору