Tak predtermin byl podivuhodne fajny.
Pz prisel, byl dotazan na to co vi o |= (pravditko) ve VL, napsal co vedel (pul A4), po te byl dotazan na to jestli mame vetu spojujici splnitelnost a bezespornost (odpoved ano, veta o bezespornosti a splnitelnosti), pote byl dotazan zda ma zapocet a inkasoval jednicku.
Celkove vzato Stepanek byl v pohode, nestoural, spis slo o petiminutovy rozhovor na tema pravdivost.
Woo-hoo.
[Zk] 23.5.2007
Tak to byl mazec... rekl mne, at mu napisu vse co vim o obecnem kvantifikatoru... tak jsem tam napsal
- zavedeni kvantifikatoru
- schema preskoku
- axiom specifikace
- generalizace
- lemma o distribuci kvantifikatoru
- ze je zkratka za not E not A
- jak se chova pri upravach na prenexni tvar
Stepanek se na to mrkl, rekl, ze je to dobre a zeptal se jestli mam zapocet. Pak mne napsal 1 ;o)
- zavedeni kvantifikatoru
- schema preskoku
- axiom specifikace
- generalizace
- lemma o distribuci kvantifikatoru
- ze je zkratka za not E not A
- jak se chova pri upravach na prenexni tvar
Stepanek se na to mrkl, rekl, ze je to dobre a zeptal se jestli mam zapocet. Pak mne napsal 1 ;o)
Ano, taky jsem psal o velkem kvantifikatoru, napsal jsem viz nahore + nektere veci, ktere se ho tykali jen vzdalene. Prisel, videl, zeptal se jestli muzu formuli zavedeni kvantifikatoru napsat jako imlikaci. Rekl jsem ze ne, ale uz jsem nevedel proc. Tak mi dal 2 a sel jsem dom. Z lonska jsem mel pocit, ze je dost neprijemny, ale dnes jsem si musel poopravit obrazek, na prijemny.
No ja jsem dostala otazku: vse co vite o konjunkci, tak jsem tam napsala vse co vim... pak napsal nejakou formuli, ktera se napadne podobala te z Hlavni vety logiky s rovnosti, a zeptal se,jestli je to pravda, ja rekla, ze jo, tak mi jeste nechal zformulovat tu vetu presne a pak rekl, ze to umim a dal mi zajedna:)
dobre je, ze mi to zapsal do indexu i bez zapoctu s tim, ze do sisu to hodi, az mu poslu mail, ze ten zapocet mam... takze uz ho nebudu muset nikde shanet
dobre je, ze mi to zapsal do indexu i bez zapoctu s tim, ze do sisu to hodi, az mu poslu mail, ze ten zapocet mam... takze uz ho nebudu muset nikde shanet
Tak ja mela disjunkci, napsala jsem monotonost atd, definici pravdivosti, deMorgana, DNF a CNF (to ho ani nezajimalo), prenexni operaci (tu jednu) a vetu u dukazu rozborem pripadu (tu jsem i dokazala, ale to ho taky nezajimalo).
Pak mi dal jednu formuli ja mu rekla, ze je pravdiva, tak mi dal jeste jednu a pak mi zapsal za vyborne do indexu.
Nechtel zadny dukaz, proste nic...
Takze preji hodne stesti pri normalnich terminech i zitrejsim predterminu.
Pak mi dal jednu formuli ja mu rekla, ze je pravdiva, tak mi dal jeste jednu a pak mi zapsal za vyborne do indexu.
Nechtel zadny dukaz, proste nic...
Takze preji hodne stesti pri normalnich terminech i zitrejsim predterminu.