1) Uvedte zneni vety o kompaktnosti. (viz skripta)
2) Syntakticky oduvednete, , kde je generalni uzaver . Vysvetlete, co je generalni uzaver.
(Jedna se o formuli po -"okvantifikani" vsech volnych promennych puvodni formule. Implikace : pravidlo modus ponens; Implikace : axiom substituce, konkr. )
3) Vhodnym protiprikladem dokazte . Jakou vetu k tomu vyuzivate?
(Veta o koreknosti. Kontrabeispiel: , kde P, R jsou relacni unarni symboly a a navic . Pak , neboli , tedy tvrzeni neni dokazatelne.)
Pisemka Gregor 15.12.2011
-
- Matfyz(ák|ačka) level III
- Příspěvky: 130
- Registrován: 14. 1. 2011 10:03
- Typ studia: Informatika Ph.D.
- Login do SIS: had
- Kontaktovat uživatele:
Pisemka Gregor 15.12.2011
Naposledy upravil(a) mathemage dne 17. 12. 2011 08:28, celkem upraveno 2 x.
Carpe Diem!
-
- Matfyz(ák|ačka) level I
- Příspěvky: 22
- Registrován: 7. 2. 2011 22:41
- Typ studia: Informatika Bc.
Re: Pisemka Gregor 15.12.2011
Toz je to s tou logikou v ****, me uz nezbejva nez doufat, ze do pristiho roku trosku prehodnotej system zapoctu
-
- Matfyz(ák|ačka) level III
- Příspěvky: 130
- Registrován: 14. 1. 2011 10:03
- Typ studia: Informatika Ph.D.
- Login do SIS: had
- Kontaktovat uživatele:
Re: Pisemka Gregor 15.12.2011
Bohuzel mlcek se dycky diva na cviceni uspesnejsich skupin, kde jsou shromazdeny samy bedny:(PetrK píše:Toz je to s tou logikou v ****, me uz nezbejva nez doufat, ze do pristiho roku trosku prehodnotej system zapoctu
Jinak mit test kazdy tyden je opravdu narocny, ale clovek se to aspon hodne uci behem roku:)
Carpe Diem!
-
- Matfyz(ák|ačka) level I
- Příspěvky: 22
- Registrován: 7. 2. 2011 22:41
- Typ studia: Informatika Bc.
Re: Pisemka Gregor 15.12.2011
Nechtel bych nijak ospravedlnovat to, ze kurvim jednu pisemku za druhou, ale osobne si nejsem uplne jistej, ze v jedne skupine (u Pilata) se pseudo-nahodnym generovanim seslo 26 "beden" a u Gregora 26 "looseru" ... taky sme meli Pilata jednou na supl a musim rict, ze ten rozdil ve cviceni precijen bude.
Co se tyce stravenyho casu nad logikou za tech 8 tydnu sem tomu venoval podstatne vic cistyho casu nez jakymukoliv jinymu predmetu, co sem zatim absolvoval a proste se do toho nemuzu nijak dostat ... i kdyz si vetsinou zpetne rikam, jak sem zrovna tohle moh zk*****.
Co se tyce stravenyho casu nad logikou za tech 8 tydnu sem tomu venoval podstatne vic cistyho casu nez jakymukoliv jinymu predmetu, co sem zatim absolvoval a proste se do toho nemuzu nijak dostat ... i kdyz si vetsinou zpetne rikam, jak sem zrovna tohle moh zk*****.
-
- Matfyz(ák|ačka) level III
- Příspěvky: 115
- Registrován: 13. 9. 2008 21:42
- Typ studia: Informatika Mgr.
- Login do SIS: 80320124
Re: Pisemka Gregor 15.12.2011
Netušim, jakej systém písemek je letos (jestli je to nějak centralizovaný atd), ale zápočet u Piláta loni byl dost lehkej...
-
- Matfyz(ák|ačka) level III
- Příspěvky: 130
- Registrován: 14. 1. 2011 10:03
- Typ studia: Informatika Ph.D.
- Login do SIS: had
- Kontaktovat uživatele:
Re: Pisemka Gregor 15.12.2011
Hmm, ze by to zaviselo na cvicicich az tak razantne? Zivot je opravdu srandovni:) Na druhou stranu, kdyby se z neho odstranila veskera logika, clovek by si vubec nezaplakal:D
Carpe Diem!