Fórum studentů MFF UK

Komise: Klazar,Bednárek, Yaghob, Mareš, Skopal, Kopecký Posral jsem, co jsem mohl, mám paměť velikosti pětiprvkové fronty M1: Kompaktní prostory M2: Tělesa I1: Synchronizační primitiva I2: Třídící algoritmy M1: je hold blbé, když si člověk nemůže vzpomenout na definici kompaktních prostorů. Výlet na...

starecml píše: Pricitani bodu?

No domnívám se, že jsem tam nenapsal nic světoborného, abych prošel natož dostal dvojku, mé metadůkazy bych bych nazval spíše pseudodůkazy. Tak proto.

starecml píše:Vite nekdo jak se resila ta 4ka? Nejak jsem moc nevedel co s tim...

No já tam napsal něco o zavedení funkčního a predikátového symbolu a posléze 2x generalizace. Ale jinak naprosto nevím...

...ale mám za dvě, takže asi ta fáma o přičítání bodů pravdivá.

Jednoduché a zároveň pěkně ošklivé Výroková logika 1) |-[A -> (A -> B)] <-> [A -> B] Dokazat 2) T je maximální bezesporná množina, Dokažte: (A & B)elemT <=> AelemT a B elem T 3) T je úplná <=> Con (T) je maximální bezesporná Predikátová logika 4)Dokažte Vx 1 Vx 2 Ey (f(x 1 ,x 2 )=y) 5)S|-A nebo ...