Využití programů pro automatické dokazování v algebře

Ročník: 33 (2010/11)

Kategorie: 1: Mathematics and Statistics

3. místo

Práce je zaměřená především na využití programů pro automatické dokazování pro konstrukci algebraických struktur s předem danými vlastnosti a dokazování základních vět ve výrokové logice prvního řádu. Hlavním cílem práce bylo navázání na dosavadní výzkum v oblasti jednoduchých polookruhů. Další část práce tvoří jiná použití programů Prover9 a Mace4. Velkou částí práce je také stručný úvod do algebry.

Text práce ve formátu PDF