Matfyz Wiki
Diff for ''
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| Místa, kam si může matfyzák zajít zapařit, nebo třeba jen poslechnout roztodivné druhy hudby. * [http://www.novasin.cz Klub Galerie Nová síň] ** Voršilská 3, Praha 1 (kousek od Národního divadla) * [http://www.crossclub.cz/ Cross Club] – Kolejím 17. listopadu nejbližší zařízení - stačí přeběhnout most. Velice působivá výzdoba. ** Plynární 23, Praha 7 ** Drum'n'bass, techno, reggae, dub, občas i jiné * [http://www.mecca.cz/ Mecca] – Klub stále ještě dosažitelný pěšky i v pokročilém stavu. Mírně snobský ale stylový podnik. Hip-hop akce jsou přeplněny slečnami, které ještě nemají dle zákona pít (přesto tak činí), z důvodu volného vstupu (pro slečny). Housové akce bývají lepší. ** U Průhonu 3, Praha 7 ** Hip-hop, R'n'b, komerčnějsí house (deep house, vocal house) * [http://www.musicbar.cz/ Lucerna Music Bar / Futurum Music Bar] – V pátek a sobotu 80' & 90' video diskotéka DJ Jirky NEUMANNA. Věkové obsazení 20+ (pozor, občas velký rozptyl). Doporučuji aspoň jednou navštívit - stojí to za to. ** Vodičkova 36, Praha 1 ** Zborovská 7, Praha 5 ** Discooooo!!! * [http://www.bukanyr.cz/ House Boat Bukanýr] – Chrám všech vyznavačů progressive a electro house. Velice příjemné, komorní prostředí. Návštěvnící sem chodí pouze za hudbou, a vědí, proč tam jdou. V létě otevřeno i 1. patro lodi s fotbálky a dalším barem. Občas se i griluje ** Hořejší nábřeží, pod Palackého mostem, nedaleko botelu Admirál - pozor, loď se občas přemístí, dle aktuální stížnosti na hluk od obyvatel ** Progressive, electro house * [http://www.malyglen.cz/ U Malého Glena] – Zapadlý bar zhruba 100m od Malostranského náměstí, patřící mezi to nejlepší, co Praha může ohledně Jazzu a Bluesu nabídnout. Denně živé koncerty ve velice komorním prostředí (pro max. 30 - 40 osob). Cena za jeden večer 150 Kč. Pití standartně zvýšená cena. ** Karmelitska 23, Praha 1 ** Jazz, Blues * [http://www.leclan.cz/ Le Clan] – Private club otevírající v 10 hodin večer, vhodný k dojezdům. Lze poslouchat DJ, poležet si v křesílkách (spící osoby se nebudí), zahrát šipky či ping-pong, nebo dělat cokoliv v Dark roomu (např. se nechat ukřižovat). ** Balbínova 23, Praha 2 ** House, Lounge, Downtempo * [http://klub.roxy.cz/ Roxy] – Základna všech pražských clubberů. Multikulturní zařízení s výtečnými Free Mondays a ještě lepšími pátky a sobotami. Nedávno proveden upgrade soundsystému na jeden z nejkvalitnějších v Praze. ** Dlouhá 33, Praha 1 ** Vše možné, house, techno, hip-hop ... * [http://www.studio54.cz/ Studio 54] – Další after-party klub. DJs začínají hrát v 5 ráno a končí hodinu po poledni. Pokud se chcete pořádně zmastit, Studio 54 je vaše destinace. P.S.: Návštěvníci opravdu drogy neberou. ** Hybernská 38, Praha 1 ** Techno, House, Progressive * [http://www.duplex.cz/ Duplex] – Chcete pít pivo za 80 Kč? Chcete si dát flašku vína za 500 Kč? Chcete vidět rádobycelebrity a být druhý den v novinách? Chcete vědět, jak se dá prznit taneční hudba na sto způsobů a jak rozhodně nevypadá dobrý vkus? Zajděte si do Duplexu. Aspoň jednou za život. ** Václavské náměstí 21, Praha 1 ** Lucaso a Uwa se pokoušejí o "minimálek", jinak house |
{{předmět|Výroková a predikátová logika|Josef Mlček|NAIL062}} 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. ## Studijní materiál Mlček (2009-?) ## * [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) ## Studijní materiál Štěpánek (?-2009) ## * [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) |