Kryvolap A. Construction and research of program logics

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0416U003418

Thesis Registration Form

0416U003418.pdf

Applicant for

Specialization

  • 01.05.01 - Теоретичні основи інформатики та кібернетики

09-06-2016

Specialized Academic Board

26.001.09

Essay

Within the framework of candidate thesis program logics of compositionally-nominative type are being built. Monotonicity and continuity is proved for the compositions of the program level. Properties of classical axiomatic system are being investigated for the case of partial predicates. Correct axiomatic systems with added constrains are being developed. Their completeness is being studied.

Read more

Files

aref.doc

dis.doc

Similar theses

0421U102388

Nasirov Emil Mekhdiievych

Parallelization of non-negative huge sparse linguistic matrix and tensors factorization

0420U102355

Dudar Vyacheslav Vyacheslavovych

Training algorithms and invariance to geometric transformations of neural networks

0520U101700

Prytomanova Olga M.

Fuzzy problems of optimal set partitioning: theoretical bases, methods and algorithms for solving

0520U100242

Zavadskyi Ihor O.

Splittable codes and their applications

0520U100209

Rystsov Ihor

Application of algebraic automata theory to analysis of discrete dynamical systems.