Matfyz Wiki
Diff for ''
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| {{předmět|Výroková a predikátová logika|Josef Mlček|NAIL062}} | |
| Line 3: | Line 2: |
| 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. | # Format diskuse # |
| Line 5: | Line 4: |
| ## Studijní materiál Mlček (2009-?) ## | Diskuse se delaji po vlaknech `== Tema ==`, dalsi prispevky se odsazuji pomoci `*, **, ***, ...` a podepisuji pomoci `~~~~`. |
| Line 7: | Line 6: |
| * [Mlček materiály k přednášce](http://kti.mff.cuni.cz/%7Emlcek/) [požadavky ke zkoušce, celkem brutus](http://kti.mff.cuni.cz/%7Emlcek/EXAM.pdf) * [zápisky Pilát cvika (2009)](http://zaantar.eu/index.php?page=Studijní+materiály) * [zápisky Mlček cvika (2008)](http://www.martinvseticka.eu/index.php?sekce=browse&page=178) * [zápisky,řešené příklady (2009)](http://www.marketa.najevisti.info/studium.php) * [Gödelova věta lidsky](http://cs.wikipedia.org/wiki/Gödelovy_věty_o_neúplnosti) |
Kala oti einai aderfi einai oeanoflro .alla einai toso ksefonimeni na isxyrizetai oti i Kaneli tou askise prwti swmatiki via????Ase pou i Kaneli 2 lekseis na pei ton exei tapwsei to mapa giati n askhsei via? An k einai toso aderfi pou xalara ton exei tou xeriou tis i kaneli .Malista pisteuw den antapedwse ta xtypimata giati fovithike mh toy xalasei to make upVy jste banda ,ktere1 se věnuje trestne9 činosti !!!!!!!! Propagujete sve9 pojstoe nezakonnfdm jednanedm.A tedm chcete doke1zat co? Že jste banda krimine1lnedk s plnou hubou kecu,kteřed nedovedou nic jine9ho,než čme1rat po cizedm majetku!!?? To už jste doke1zali |
| Line 13: | Line 8: |
| ## Studijní materiál Štěpánek (?-2009) ## | ## gUcqGxCFhUmHRmMy ## |
| Line 15: | Line 10: |
| * [On-line výukové materiály](http://ktiml.ms.mff.cuni.cz/index.php?select=teaching§ion=sources&lang=czech) - slajdy z přednášky, skripta * [Stránky cvika Petr Olmer](http://kti.mff.cuni.cz/%7Eolmer/vyuka/log03.html) - příklady na procvičení * [Studijní materiál na MUNI](http://is.muni.cz/el/1433/podzim2006/MA007/um/) * [Matematická logika na ČVUT (Demlová)](http://math.feld.cvut.cz/demlova/teaching/mlo_vyuka.html) * [Základní kurz logiky (MUNI)](http://www.phil.muni.cz/fil/logika/uvod.php) * [Výcuc ze skript prof. Štěpánka](http://s0cketka.blogspot.com/2006/05/souhrn-z-logiky.html) (tahák, PDF) * [Příklady](http://vpl.xf.cz/doku.php?id=start) * [Evýuka](http://snug.ic.cz/index.htm) [Category:Matematika pro informatiky](Category:Matematika%20pro%20informatiky) |
I would like to express my tnahks to the writer just for rescuing me from such a problem. Right after checking throughout the world wide web and finding opinions which were not powerful, I figured my entire life was well over. Living minus the solutions to the problems you have solved through this guide is a critical case, and the ones that could have badly damaged my career if I hadn't noticed your site. Your own personal skills and kindness in taking care of all areas was very useful. I'm not sure what I would have done if I had not encountered such a stuff like this. It's possible to at this point relish my future. Thanks for your time so much for your high quality and sensible guide. I will not think twice to endorse your web site to anybody who needs to have guidance on this situation.J1rfl6 , \[url=http://quejpgvrgilf.com/]quejpgvrgilf\[/url], \[link=http://wktcufzbeakr.com/]wktcufzbeakr\[/link], http://gsobadwjiubm.com/ |