Algoritmi na Postovi mreži : magistrsko delo

Tinta, Nina (avtor), 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.

• Jezik: Slovenski jezik
• Ključne besede: Postova mreža, polinomi Žegalkina, izjavni veznik
• Vrsta gradiva: Magistrsko delo/naloga
• Tipologija: 2.09 - Magistrsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Leto izida: 2019
• PID: 20.500.12556/RUL-112737
• UDK: 510.6
• COBISS.SI-ID: 18790233
• Datum objave v RUL: 10.11.2019

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Algorithms on Post's Lattice

Izvleček

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.

• Ključne besede: Post's lattice, Zhegalkin polynomial, logical connective