Matematika

Neka je parcijano uređen skup i . Tada je maksimalni element u B ako

Označimo sa P(m) tvrdnju koju želimo dokazati. Princip matematičke indukcije provodi se u dva koraka. 1. Baza indukcije. Treba dokazati da tvrdnja vrijedi za m=1, tj. da vrijedi P(1). 2. Korak indukcije. Pretpostavimo da tvrdnja vrijedi za m=k. Treba dokazati da tvrdnja vrijedi za m=k+1. Odnosno, da P(k) implicira P(k+1). Zaključak: tvrdnja vrijedi za svaki prirodni broj m.

Neka su . Tada su elementi Kartezijevog produkta  uređeni parovi (i,j).

Neka su A, B i C regularne matrice istog tipa. Osnovene matrične jednadžbe i njihova rješenja:

1. 
2. 
   

Neka je parcijano uređen skup i . Tada je minimalni element u B ako

Minimizacija formule algebre sudova je postupak pretvaranja dane formule u ekvivalentnu formulu koja je zapisana samo pomoću osnovnih operacija (konjunkcije, disjunkcije, negacije), a može se provesti na dva načina:

1. analitički - postupak se temelji na primjeni svojstava operacija algebre sudova,
2. grafički (Veitchova metoda, Karnoughov graf) - temelji se na korespondenciji skupovskih i logičkih operacija.
   

Neka je A kvadratna matrica n-tog reda. Minora elementa  je determinanta submatrice A koja sadrži elemente koji preostanu nakon što se uklone i-ti red i j-ti stupac matrice A.