hrvatski

Zakoni oblika: Aritmetika i algebra Georgea Spencera Browna

Od studenta se očekuje da prouči i opiše zakone oblika kako ih je opisao George Spencer Brown. Zakoni oblika predstavljaju drukčiji pristup velikom broju matematičkih i posebice računalnih formalizama kao što su to Boolova algebra, propozicijski račun, konačni automati i dr., pri tome temeljeći sve zakone na jednom simbolu (distinkcija) i dva zakona oblika. Rad treba specificirati primarnu aritmetiku, primarnu algebru i jednadžbe drugog reda te prikazati kako se putem ovog pristupa mogu modelirati drugi formalizmi od interesa u informacijskim i računalnim znanostima. Završni rad treba sadržavati teorijski uvod, opis primarne aritmetike, opis primarne algebre, jednadžbe drugog reda, interpretacije poput prethodno navedenih, kritički osvrt, zaključak i literaturu.

boolova algebra; jednadžbe drugog reda; konačni automati; primarna algebra; primarna aritmetika; propozicijska logika; zakoni oblika

nije evidentirano