CHVÁTÁ: Doučení/konzultace predikátové logiky

[Jookyn]

Zdravim,

ve čtvrtek mam zkoušku z logiky, kterou bych docela nutně potřeboval udělat. Rád bych sehnal někoho kdo by mi bych schopen dovysvětlit a zkonzultovat nějaké věci (např probrat všechny složitější příklady z předešlých zkoušek atd), především z predikátové logiky (analýza teorií, prvomodely, eliminace kvantifikátorů atd). Jak zkouška probíhá je vidět na stránkách doc. Mlčka - http://kti.mff.cuni.cz/~mlcek/ .

Rozsah bych viděl tak na 5-8hodin (ideálně ve více dnech), můžu prakticky kdykoli a kdekoli. Nabízím solidní hodinovou sazbu a případně bonus když zkoušku udělam.

A požaduju někoho, kdo tomu rozumí (např někdo kdo už letos udělal zkoušku za lepší známku než 3) a kdo to bude schopen vysvětlit i mě - člověku co si s logikou moc nerozumí.


Kontakt na:
- zde na fóru
- na mailu lukas.navr@gmail.com
- na telefonu 728 71 22 88


PS: Kdyby náhodou někdo z těch co se chystají ve čtvrtek na zkoušku se chtěl připojit alespoň na nějaký brainstorming, tak se mi taky kdyžtak ozvěte...