IBN
Închide
Nikitcenko Micola
Cuvinte-cheie (44): quasiary predicate (6), nominative data (5), First-order logic (5)
Dinamica numărului de publicaţii pe ani
Dinamica articolelor pe ani
Distribuirea numărului de pagini publicate pe categorii de reviste și ani
Distribuirea articolelor pe domenii şi ani
Colaborarea autorului
Dinamica descărcărilor pe ani

Articole în reviste din RM - 7. Publicaţii la conferinţe din RM - 8.
XLS PDF DOC
SM ISO690:2012

2019 - 1

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition
Nikitchenko Mykola, Shkilniak Oksana, Shkilniak Stepan, Mamedov Tohrul
Taras Shevchenko National University of Kyiv
Computer Science Journal of Moldova
Nr. 2(80) / 2019 / ISSN 1561-4042
Disponibil online 22 September, 2019. Descarcări-1. Vizualizări-144
-----------------------------------------------------------------------------------------------------------------------------------

2018 - 2

Implementation of the Composition-nominative Approach to Program Formalization in Mizar
Ivanov Ievgen1, Kornilowicz Artur2, Nikitchenko Mykola1
1 Taras Shevchenko National University of Kyiv,
2 University of Bialystok
Computer Science Journal of Moldova
Nr. 1(76) / 2018 / ISSN 1561-4042
Disponibil online 4 May, 2018. Descarcări-2. Vizualizări-298
-----------------------------------------------------------------------------------------------------------------------------------
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates
Nikitchenko Mykola, Shkilniak Stepan
T.G. Shevchenko University
Conference on Mathematical Foundations of Informatics
2018. Chișinău. ISBN 978‐9975‐4237‐7‐9.
Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-162
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 4

Nominative data with ordered set of names
Skobelev Volodymyr1, Ivanov Ievgen2, Nikitchenko Mykola2
1 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine,
2 Taras Shevchenko National University of Kyiv
Computer Science Journal of Moldova
Nr. 2(74) / 2017 / ISSN 1561-4042
Disponibil online 14 August, 2017. Descarcări-2. Vizualizări-247
-----------------------------------------------------------------------------------------------------------------------------------
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System
Ivanov Ievgen1, Kornilowicz Artur2, Nikitchenko Mykola1
1 Taras Shevchenko National University of Kyiv,
2 University of Bialystok
Conference on Mathematical Foundations of Informatics
2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2.
Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-208
-----------------------------------------------------------------------------------------------------------------------------------
Program-oriented Logics of Non-Deterministic Quasiary Predicates
Nikitchenko Mykola, Shkilniak Stepan
Taras Shevchenko National University of Kyiv
Conference of Mathematical Society of the Republic of Moldova
4. 2017. Chişinău. ISBN 978-9975-71-915-5.
Disponibil online 4 October, 2017. Descarcări-0. Vizualizări-220
-----------------------------------------------------------------------------------------------------------------------------------
Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates
Nikitchenko Mykola, Shkilniak Stepan
Taras Shevchenko National University of Kyiv
Conference on Mathematical Foundations of Informatics
2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2.
Disponibil online 20 March, 2018. Descarcări-0. Vizualizări-212
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 2

Properties of Nominative Programs Specified by Effective Definitional Schemes
Ivanov Ievgen1, Nikitchenko Mykola1, Skobelev Volodymyr2
1 Taras Shevchenko National University of Kyiv,
2 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine
Conference on Mathematical Foundations of Informatics
2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8.
Disponibil online 30 March, 2018. Descarcări-1. Vizualizări-237
-----------------------------------------------------------------------------------------------------------------------------------
Proving Properties of Programs on Hierarchical Nominative Data
Ivanov Ievgen1, Nikitchenko Mykola1, Skobelev Volodymyr2
1 Taras Shevchenko National University of Kyiv,
2 Institute of Cybernetics, National Academy of Sciences of Ukraine
Computer Science Journal of Moldova
Nr. 3(72) / 2016 / ISSN 1561-4042
Disponibil online 6 December, 2016. Descarcări-3. Vizualizări-321
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 5

Analysis of Nominative Data Sets Structure
Skobelev Volodymyr1, Ivanov Ievgen2, Nikitchenko Mykola2
1 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine,
2 Taras Shevchenko National University of Kyiv
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.
Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-287
-----------------------------------------------------------------------------------------------------------------------------------
Institution for Pure First-Order Composition-Nominative Logic
Chentsov Alexey, Nikitchenko Mykola
Taras Shevchenko National University of Kyiv
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.
Disponibil online 3 October, 2017. Descarcări-1. Vizualizări-233
-----------------------------------------------------------------------------------------------------------------------------------
Semantic Properties of Logics of Quasiary Predicates
Nikitchenko Mykola, Shkilniak Stepan
Taras Shevchenko National University of Kyiv
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.
Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-211
-----------------------------------------------------------------------------------------------------------------------------------
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
Nikitchenko Mykola, Shkilniak Stepan
Taras Shevchenko National University of Kyiv
Computer Science Journal of Moldova
Nr. 2(68) / 2015 / ISSN 1561-4042
Disponibil online 20 November, 2015. Descarcări-17. Vizualizări-314
-----------------------------------------------------------------------------------------------------------------------------------
Set-theoretic Analysis of Nominative Data
Skobelev Volodymyr1, Ivanov Ievgen2, Nikitchenko Mykola2
1 Institute of Cybernetics, National Academy of Sciences of Ukraine,
2 Taras Shevchenko National University of Kyiv
Computer Science Journal of Moldova
Nr. 3(69) / 2015 / ISSN 1561-4042
Disponibil online 26 November, 2015. Descarcări-2. Vizualizări-393
-----------------------------------------------------------------------------------------------------------------------------------

2012 - 1

Basics of Intensionalized Data: Presets, Sets, and Nominats
Nikitchenko Mykola, Chentsov Alexey
Taras Shevchenko National University of Kyiv
Computer Science Journal of Moldova
Nr. 3(60) / 2012 / ISSN 1561-4042
Disponibil online 16 December, 2013. Descarcări-2. Vizualizări-394
-----------------------------------------------------------------------------------------------------------------------------------
1 - 15 of 15