Otázky z minitestíku

Uživatelský avatar
Dolda
Matfyz(ák|ačka) level I
Příspěvky: 37
Registrován: 2. 2. 2006 14:22
Typ studia: Informatika Mgr.
Bydliště: Bohnice

Otázky z minitestíku

Příspěvek od Dolda »

Nepamatujete si někdo, jaké byly otázky v tom minitestíku na začátku?
Já přihodim co si pamatuju:

- které z následujících flí jsou dokazatelné z formule (nepamatuju si) jenom pomocí VD a MP?
Born 2 die in Enemy Territory
Uživatelský avatar
Dawe
Supermatfyz(ák|ačka)
Příspěvky: 360
Registrován: 12. 10. 2004 12:32
Typ studia: Informatika Mgr.
Bydliště: Doma a nebo na koleji

Příspěvek od Dawe »

no pak tam bylo třeba jestli A v B je CNF (což je)
něco ve smyslu: A->((A->A)->A) jestli je axiom VL, PL nebo schema axiomu PL
Pak něco jestli je něco fle (většinou není když je tam |= nebo |- a nebo když je to blbě uzávorkovaný)
Když mám něco ve smyslu |-A->((A->B)->C)
tak pomocí VD a MP jde dokázat jen něco , kde jsou všechny tyhle věci, takže ne třeba A->B,A|-B
pak něco s V a E a třeba jestli (Ex)(Vx)A(x) je ekviv s (Ex)A(x)(není) nebo s (Vx)A(x) (je),
pak taky něco co je term či formule...
Uživatelský avatar
rastik
Supermatfyz(ák|ačka)
Příspěvky: 661
Registrován: 19. 10. 2005 21:45
Typ studia: Informatika Mgr.
Bydliště: Praha
Kontaktovat uživatele:

Příspěvek od rastik »

Dnes bol minitestik drsnejsi, aspon v mojej verzii (B) boli napr. otazky ohladne Robinsonovej aritmetiky (uplnost, rozhodnutelnost, ...). Plus cely jeden priklad (6b tusim) na vetu o uplnosti, ale ten sa nastastie dal.
Odpovědět

Zpět na „2005“