Algoritmi na Postovi mreži : magistrsko delo

Tinta, Nina (author), Petkovšek, Marko (mentor)

V nalogi predstavimo strukturo Postove mreže in nekatere algoritme na njej, implementirane v programu Mathematica. Z njihovo pomočjo lahko izračunamo zaprtje dane množice resničnostnih veznikov na tej mreži, izrazimo dani veznik s pomočjo izbranih veznikov, kadar je to mogoče, preverimo različne algebrajske lastnosti Postove mreže in opazujemo njeno strukturo. Pri tem uporabljamo zapis veznikov s polinomi Žegalkina, kar olajša računanje z njimi.

• Language: Slovenian
• Keywords: Postova mreža, polinomi Žegalkina, izjavni veznik
• Work type: Master's thesis/paper
• Organization: FMF - Faculty of Mathematics and Physics
• Year: 2019
• PID: 20.500.12556/RUL-112737
• UDC: 510.6
• COBISS.SI-ID: 18790233
• Publication date in RUL: 10.11.2019

Secondary language

• Language: English
• Title: Algorithms on Post's Lattice

Abstract

In this master's thesis the structure of Post's lattice as well as some algorithms on it are presented, together with their implementations in the program Mathematica. These algorithms can be used to find the closure of a given set of logical connectives, to express a given connective in terms of a set of selected connectives whenever possible, or to analyse different algebraic attributes and structure of Post's lattice. The Zhegalkin polynomial form is used to facilitate computations.

• Keywords: Post's lattice, Zhegalkin polynomial, logical connective