<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=140908"><dc:title>Heytingove algebre in interpretacije</dc:title><dc:creator>Zavrtanik,	Nace	(Avtor)
	</dc:creator><dc:creator>Cvetko-Vah,	Karin	(Mentor)
	</dc:creator><dc:subject>algebre</dc:subject><dc:subject>izrazi</dc:subject><dc:subject>raznoterosti</dc:subject><dc:subject>mreže</dc:subject><dc:subject>Heytingove algebre</dc:subject><dc:subject>interpretacije</dc:subject><dc:description>V tem seminarskem delu definiramo nekaj osnovnih pojmov univerzalne algebre, kot so algebre, izrazi in raznoterosti. Definiramo pojem interpretacije. Uvedemo mreže, verige in Heytingove algebre ter dokažemo nekaj preprostejših dejstev o mrežah in operacijah na njih. Končno dokažemo, da so vse interpretacije omejenih distributivnih mrež v podrazred Heytingovih algeber, sestavljen iz verig, bodisi trivialne bodisi dualne.</dc:description><dc:date>2022</dc:date><dc:date>2022-09-21 08:15:05</dc:date><dc:type>Delo diplomskega seminarja/zaključno seminarsko delo/naloga</dc:type><dc:identifier>140908</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>