The design and implementation of the formal inference algorithm in algebraic structures

Student: Kurnosov Aleksey

Faculty: Faculty of Informatics, Mathematics, and Computer Science (HSE Nizhny Novgorod)

Educational Programme: Applied Mathematics and Information Science (Bachelor)

Year of Graduation: 2018

In this paper, development of an algorithm for the derivation of an answer to a question on the information provided is presented. After a brief review of the tensor product (TRP), let's move on to concrete examples of output from TPR in BABl problems. After this, we will simplify the general analysis sufficient for the BABl problems to summarize the general approach to the conclusions using TPR. This will show how one can use the tensor product in problems of formal derivation in algebraic structures.

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses