Page Header

ISSN 1727-4907 (Print)

Cover Page

EDITORIAL TEAM

» Editor-in-Chief:

 Dr. Sci. (Phys. & Math.), Academician of NASU Philip Andon (ISS NASU, Ukraine)  

» Senior Editor:

 Dr. Sci. (Phys. & Math.), Senior Research Scientist Oleksiy Ignatenko (ISS NASU, Ukraine)

» Editorial Board Members:

  Dr. Sci. (Phys. & Math.) Anatoly Anisimov (Taras Shevchenko National University, Ukraine)

  Dr. Sci. (Phys. & Math.), Senior Research Scientist Oleksandr Balabanov (ISS NASU, Ukraine)

  Dr. Sci. (Phys. & Math.), Prof. Mykola Glybovets (National University of Kyiv-Mohyla Academy, Ukraine)

  Dr. Sci. (Engin.), Assoc. Prof. Andrii Glybovets (National University of Kyiv-Mohyla Academy, Ukraine)

  Dr. Sci. (Phys. & Math.), Prof. Anatoliy Doroshenko (NTUU "KPI", Ukraine)

  Dr. Sci. (Engin.), Prof. Nataliia Kussul (Space Research Institute NASU, Ukraine)

  PhD in Computer Science, Assoc. Prof. Artur Korniłowlcz (Institute of Informatics, University of Bialystok, Poland)

  Dr. Sci. (Engin.), Assoc. Prof. Nadezhda Nedashkovskaya (Institute for Applied System Analysis of NTUU "KPI", Ukraine)

  Dr. Sci. (Phys. & Math.), Prof. Mykola Nikitchenko (Taras Shevchenko National University, Ukraine)

  Dr. Sci. (Phys. & Math.), Serhii Pashko (ISS NASU, Ukraine)

  Dr. Sci. (Engin.), Prof. Andrii Peleshchyshyn (National University "Lviv Polytechnic", Ukraine)

  Dr. Sci. (Engin.), Prof. Serhii Pogorilyy (Taras Shevchenko National University, Ukraine)

  Dr. Sci. (Engin.), Prof. Volodymyr Pasichnyk (National University "Lviv Polytechnic", Ukraine)

  Dr. Sci. (Phys. & Math.), Prof. Alexander Provotar (Taras Shevchenko National University, Ukraine)

  Dr. Sci. (Phys. & Math.), Academician of NASU, Prof. Ivan Sergienko  (Glushkov Institute of Cybernetics NASU, Ukraine)

  Dr. Sci. (Engin.), Prof. Nikolay Sydorov (Interregional Academy of Personnel Management, Ukraine)

  Dr. Sci. (Engin.), Senior Research Scientist Igor Sinitsyn (ISS NASU, Ukraine)

  Dr. Sci. (Engin.), Prof. Sergii Telenyk (NTUU "KPI", Ukraine)

  PhD in Computer Science, Assoc. Prof. Ladislav Hluchy (Institute of Informatics SAS, Slovakia)

  

Keywords ALC Big Data Semantic Web algorithm algebra cloud computing description logic information technology logic logical consequence machine learning mathematical model network ontology parallel computing predicate programming semantic search semantic web simulation software engineering Грід-середовища
Language
Open Journal Systems
Journal Help
User
Journal Content

Browse
  • By Issue
  • By Author
  • By Title
Information
  • For Readers
  • For Authors
  • For Librarians
  • Home
  • About
  • Login
  • Register
  • Search
  • Current
  • Archives
Home > Archives > No 2 (2003)

No 2 (2003)

Table of Contents

Theory and Methodology of Programming

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
W. Goerigk, H. Langmaack
PDF (Ukrainian)
Logics of local equitone predicates: semantic properties and sequential calculuses
M.S. Nikitchenko, S.S. Shkilniak
PDF (Ukrainian)
The Formal method of Component Basic Programming
V.N. Grischenko
Без заголовку (Russian)

Formal methods of programming

Synthesis of an automaton specified by the set of clauses
A.N. Chebotarev
PDF (Ukrainian)

Models and means of databases and knowledge engineering

Information systems project management concept to support for Government bodies
N.T. Zadorozhna, K.L. Val
PDF (Ukrainian)
ISSN: 1727-4907