Šokující předtermín 2009-01-13

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.
Šeby

Šokující předtermín 2009-01-13

Příspěvek od Šeby »

Zdravím,
před chvílí jsem se vrátil z předtermínu z VPL a musím říct, že to byl šok. Když jsme přišli, tak nám řekl, že nás je hodně (bylo nás tam asi 16) a tak nebudeme zkoušení ústně, ale dostaneme obyčejnou písemku. Takže nám dal písemku, která byla použita při termínu v září, takže to tady ani nebudu psát. Jen zmíním, že tam bylo dokazování v Peanově aritmetice.
Ještě než nám dal písemky, tak nám řekl, že kdo chce, tak může odejít, protože jsme možná čekali něco jiného (ale všini zůstali).
Výsledky z písemky dostaneme během zítřka, takže styl hodnocení vám neřeknu.
Osobně mě to sice překvapilo, ale věřím, že i tak to dopadne dobře.
Šlupka
Matfyz(ák|ačka) level I
Příspěvky: 39
Registrován: 7. 11. 2007 22:12
Typ studia: Informatika Bc.

Re: Šokující předtermín 2009-01-13

Příspěvek od Šlupka »

Jak jsou vlastně nastaveny body?

Kolik je max a kolik je potřeba na trojku?
Uživatelský avatar
Donarus
Matfyz(ák|ačka) level III
Příspěvky: 194
Registrován: 30. 9. 2007 12:40
Typ studia: Informatika Mgr.

Re: Šokující předtermín 2009-01-13

Příspěvek od Donarus »

prominte mi ten vyraz... ale na to muzu leda tak rict...
... "a doprdele, VpL opakuju pristi rok..."
Uživatelský avatar
tikiri
Matfyz(ák|ačka) level I
Příspěvky: 37
Registrován: 17. 1. 2008 10:06
Typ studia: Informatika Bc.

Re: Šokující předtermín 2009-01-13

Příspěvek od tikiri »

Ahoj, jdu taky pridat svou trosku do mlyna. :roll:
Vcerejsi predtermin byl vazne prekvapenim, ale zase na druhou stranu - Stepanek si sedl ke stolu, rozlozil noviny a zacal si cist. Za celou dobu se na nas ani jednou nepodival a co vic - po cca pul hodine odesel na dobrych 40 minut. Pokud jste si s sebou vzali skripta nebo chytreho spoluzaka :D , spoluprace ci kontrolovani vysledku bylo dost dobre mozne. Nicmene kdyz jdete pripraveni na uroven predterminu, byla to celkem dost neprijemna zmena.
Co se tyce bodoveho hodnoceni, Stepanek mi na konci hodiny rekl, ze na prolezeni staci 23 bodu z 50. Vysledky jeste neposlal.
Takze drzim palce u dalsich terminu a nezapomente si skripta s sebou. :)
Here's a llama, there's a llama, and another little llama, fuzzy llama, funny llama, llama, llama, DUCK. :)
Uživatelský avatar
kaja
Matfyz(ák|ačka) level II
Příspěvky: 99
Registrován: 20. 12. 2007 00:53
Typ studia: Informatika Bc.
Bydliště: Miðgarðr
Kontaktovat uživatele:

Re: Šokující předtermín 2009-01-13

Příspěvek od kaja »

hohoho ... mam termin dneka, ucil jsem se to par hodin, nepredpokladam ze 28 bodu dam ... ale zkusit to pudu, snad taky odejde z hodiny :) protoze kdyz si ctu priklady ze zari, tak bych nedal vubec nic
PONIES
JiriD
Matfyz(ák|ačka) level I
Příspěvky: 44
Registrován: 2. 2. 2008 09:35
Typ studia: Informatika Bc.

Re: Šokující předtermín 2009-01-13

Příspěvek od JiriD »

Ví už někdo výsledky???
Wenn ich morgen meinem Gott gegenüberstehe, kann ich sagen:
Ich bin unschuldig,
ich habe niemanden betrogen,
ich habe niemandem weh getan,
ausser mir selbst.

Und das wird er mir wohl verzeihen!
Uživatelský avatar
tikiri
Matfyz(ák|ačka) level I
Příspěvky: 37
Registrován: 17. 1. 2008 10:06
Typ studia: Informatika Bc.

Re: Šokující předtermín 2009-01-13

Příspěvek od tikiri »

Stepanek ty vysledky pekne flaka. :x
Here's a llama, there's a llama, and another little llama, fuzzy llama, funny llama, llama, llama, DUCK. :)
Janoro

Re: Šokující předtermín 2009-01-13

Příspěvek od Janoro »

Co Štěpánek, ten ty písemky snad ani neuvidí, spíš jeho svěřenci, nějací cvičící. Nejspíš si ted někde užívaj víkendu, takže to hned tak nebude. No a když ještě neni opravenejch ani těch 16 úterních písemek, co mam řikat já, když jsem mezi těma čtyřiceti středečníma...
Uživatelský avatar
tikiri
Matfyz(ák|ačka) level I
Příspěvky: 37
Registrován: 17. 1. 2008 10:06
Typ studia: Informatika Bc.

Re: Šokující předtermín 2009-01-13

Příspěvek od tikiri »

Ale je to pekne blby, protoze se clovek ani nemuze prihlasit na opravnej termin a osobne alespon v mem pripade to urcite do eventualniho dalsiho pripadnyho ale nechteneho terminu zapomenu. :)
Here's a llama, there's a llama, and another little llama, fuzzy llama, funny llama, llama, llama, DUCK. :)
Šlupka
Matfyz(ák|ačka) level I
Příspěvky: 39
Registrován: 7. 11. 2007 22:12
Typ studia: Informatika Bc.

Re: Šokující předtermín 2009-01-13

Příspěvek od Šlupka »

Je to pěkně blbý. Ale ve čtvrtek jsem viděl cvičícího na MS jak ty písemky nesl, byl to stejný cvičící jako si od nás ve středu balík písemek odnášel, ale na Štěpánka se nedozvonil... Ale, že by ho nenašel ani v pátek? Možná nebude chyba vysloveně na straně cvičících...
Fíďa

Re: Šokující předtermín 2009-01-13

Příspěvek od Fíďa »

Ja byl ve ctvrtek na seminari se Stepankem a nejaky doktorand mu tam ty pisemky donesl, asi to jeste nestihl rozeslat
janoro

Re: Šokující předtermín 2009-01-13

Příspěvek od janoro »

Nestihl rozeslat? Ale ona je neděle...
Germoe
Matfyz(ák|ačka) level I
Příspěvky: 34
Registrován: 28. 5. 2008 15:40
Typ studia: Informatika Ph.D.

Re: Šokující předtermín 2009-01-13

Příspěvek od Germoe »

janoro píše:Nestihl rozeslat? Ale ona je neděle...
No, vzhledem k tomu že třeba Žemlička (na OZD) si odjel na týden na hory s tím, že písemky bude opravovat až po návratu, tak proč by se nemohl Štěpánek rozhodnout, že to zapíše až po víkendu...zvlášť když přes víkend SIS nefungoval...
JiriD
Matfyz(ák|ačka) level I
Příspěvky: 44
Registrován: 2. 2. 2008 09:35
Typ studia: Informatika Bc.

Re: Šokující předtermín 2009-01-13

Příspěvek od JiriD »

No hurá. Výsledky jsou tu. Teda, já ho mám v SISu. E-mail zatím žádný nedošel..
Wenn ich morgen meinem Gott gegenüberstehe, kann ich sagen:
Ich bin unschuldig,
ich habe niemanden betrogen,
ich habe niemandem weh getan,
ausser mir selbst.

Und das wird er mir wohl verzeihen!
Odpovědět

Zpět na „AIL062 Výroková a predikátová logika“