46787729 Seminarski Rad Diskretne Matematicke Strukture

Embed Size (px)

DESCRIPTION

46787729 Seminarski Rad Diskretne Matematicke Strukture

Citation preview

DISKRETNE MATEMATIKESTRUKTURE(seminarski rad)Student: Profesor:

OSNOVNI POJMOVI MATEMATIKE LOGIKE...................................................................3FUNKCIJE GENERATRISE......................................................................................................5DEFINICIJA ISKAZANE ALGERBRE.....................................................................................8O OPISNOJ TEORIJI SKUPOVA..............................................................................................9PREDIKATI, RELACIJE I ISKAZANE FUNKCIJE...............................................................10ALGEBARSKE STRUKTURE S JEDNOM BINARNOM OPERACIJOM...........................11ALGEBARKSE STRUKTURE S VIE OPERACIJA.............................................................13TEORIJA GRAFOVA...............................................................................................................16FORMALNE TEORIJE I IZRAUNJLJIVOST......................................................................19RAUN VJEROVATNOE....................................................................................................19ELEMENTI TEORIJE IGARA ...............................................................................................21 2

OSNOVNI POJMOVI MATEMATIKE LOGIKEMatematike misli se izraavaju nekim od postojeih jezika (recimo, srpsko-hrvatskim) koji jeupotpunjen izvjesnim brojem specijalnih matematikih simbola. Osnovne cjeline u jednom jeziku su reenice.Od posebnog interesa su afirmativne reenice koje imaju neki smisao. Ovakve reenice se pod izvjesnimuslovima nazivaju sudovima i predikatima.Definicija 1. Afirmativna reenica koja ima smisla i koja je ili istinita ili neistinita naziva se sud.Primjer 1. Reenica 7i, imali biia=ja (mod p), tj. p ( i j a) , a ovo je nemogue jer p je prost broj i 1