Fórum studentů MFF UK

Nevite, kdy se zapocty zapisuji do indexu? Nikde jsem to nenasel ani jsem nepostrehl, ze by to rikal.

y [- s teckou] x (tzv. podminene odecitani) je definovano takto: (i) y - x, pro y - x >= 0 (ii) 0, pro y - x < 0 Pozn.: - Je to PRF. - Je definovana pro vsechna prirozena cisla (o to, zda tato cisla koduji program, neco jineho nebo vubec nic se definice nestara). - Minus "-" v bodech (i) a...

Takhle pozde k veceru mne napada nasledujici (snad to bude dobre). Zrejmne plati (v libovolnem svazu): (a^b) <= a Dvakrat pouzijeme antitonii zobrazeni, ktere prvku prirazuje jeho pseudokomplement (tj. dvakrat otocime nerovnost) - viz III.4.2 - dostaneme (a^b)** <= a** (a^b)** <= b** Vime tedy, ze a...

Přesně tak !
Pro lineárně uspořádanou množinu je to to samé.

Jen tak na okraj. Jde to za vteřinku vygooglit:
http://cs.wikipedia.org/wiki/Nejmen%C5% ... 3%AD_prvek
http://cs.wikipedia.org/wiki/Maxim%C3%A ... 3%AD_prvek

1. Nejmenší prvek je <= než všechny v dané množině (a v případě, že je to uspořádání, ne jen předuspořádání, je jen jeden). Minimální prvek je takový, že neexistuje žádný ostře menší (minimálních prvků může být více i v případě uspořádání). Pokud existuje nejmenší prvek, je minimální. 2. (budu se vy...

Můj spolužák ze základky chodil minulý semestr do školy (nebyl to matfyz) i v sobotu, protože se nenašel jiný termín a jeho to zajímalo. Chtít hledat termín je pěkné, ale to už podle mne proběhlo (ve sto lidech se kompromisy hledaji těžko). Myslím, že prof. Pultr má také svou práci a nebude chtít bý...

No moc jsem se nenazral. A ze by mi to nejak zvlast chutnalo se taky rict neda.

Spadnul z 20 m srazu, kdyz se schovaval ve tme za strom, ale to je asi vedlejsi.
http://signaly.cz/?a=108&id=1232

OK, je to v mistnosti 305 (jeho pracovna).

Ale ja to pujdu zkusit jeste pred zkouskou, v nejhorsim nas vyhodi.

Myslim ze jo. Zitra jdu shanet autogramy od dalsich lidi, takze se jeste mrknu a napisu (jestli to neudela nekdo prede mnou).

Vcera jsem se ho ptal, jestli za nim muzu dneska prijit a napsal mi:

Prijdte v utery 4. cervence v 11 hodin, kdy budu znamky hromadne zapisovat

Mimochodem dneska jsem si vsiml, ze o tom visi papir na chodbe ve 3. patre a take vedle jeho pracovny (tak nevim, jak hromadne to bude).

Peanovy aritmetiky jsou "dve": 2. radu a "zdegenerovana" 1. radu. Obe uz maji sve axiomatiky v prislusnych teoriich (mysleno logikach). Standardni model te 1. radu je isomorfni modelu te 2. radu (ta ma "jediny"). Ale u te 1. radu existuji i dalsi nestandardni. Ja jsem a...

Podobnym postupem jako ve slajdech: Vezmu teorii 1. radu, ktera ma model stejny jako jako Peanova aritmetika (coz je teorie 2. radu) a pridam do jazyka konstantu c a a do teorie sadu axiomu, ktere zaridi, ze c neni z mnoziny prirozenych cisel (ze je vetsi nez vsechna prirozena cisla). Kdyz si ale ve...

Priklad 6 (pomoci lemmatu http://kti.mff.cuni.cz/downloads/VL1.pdf strana 3)
A, B |- A & B
a pak je to jasny z maximality.

Priklad 10:
http://kti.mff.cuni.cz/downloads/PL3.pdf strana 51 - 56

Ale opravna se bude psat asi jenom, kdyz to nekdo bude potrebavat. Jestli uz to vsichni maj (to nevim), tak tam tou dobou mozna nebude.