Postov izrek o funkcijski polnostiTekavc, Lucija (Avtor) Kudryavtseva, Ganna (Mentor) izjavni izrazlogična funkcijapolni naborirazredi logičnih funkcijfunkcijska polnostDiplomsko delo je namenjeno Postovemu izreku o funkcijski polnosti, ki spada v področje matematične logike. Najprej predstavimo Postove razrede logičnih funkcij, in sicer zaprtost za vsako izmed logičnih konstant, štetje, monotonost ter sebi-dualnost. Nabor logičnih funkcij je poln, če lahko preko tega nabora izrazimo vsako logično funkcijo. Postov izrek, ki ga predstavimo in dokažemo v delu, pravi, da je nabor logičnih funkcij $X$ poln natanko tedaj, ko za vsakega od Postovih razredov obstaja element množice $X$, ki temu razredu ne pripada.20252025-09-12 08:15:35Delo diplomskega seminarja/zaključno seminarsko delo/naloga172992UDK: 510.6VisID: 153213COBISS_ID: 248767747sl