v1

poznamky.md

@@ -85,21 +85,64 @@ už na začátku semestru napsáním testu.
 
 ## Úvod do počítačových sítí
 
-PHP
+V části o webu bych už opravdu neučil PHP. Pokud chceme studenty naučit vyrábět
+jednoduché webové aplikace, pojďme to ukázat na Pythonu (třeba s frameworkem Flask).
 
 ## Úvod do Linuxu
 
+V Úvodu do Linuxu je několik témat, které vůbec nesouvisí s hlavním smyslem předmětu:
+zejména tvorba balíčků v Pythonu, používání Gitu a trochu také testování. Chápu,
+že se tam objevily proto, že se nikam jinam nevešly, ale pojďme se zamyslet,
+zda jim teď neumíme najít lepší místo. Něco z toho by myslím mohlo být v Programování
+1 nebo 2.
+
 ## Anglický jazyk
 
+Revidoval bych, jakou odbornou slovní zásobu studenty učíme. Když jsem slovníček
+naposledy viděl, vůbec nepřipomínal něco relevantního pro studenty informatiky.
+
 ## Databázové systémy
 
-## Výroková a predikátová logika
+Znalost databází mi přijde pro informatiky důležitá, ale uvážil bych, zda má smysl
+učit teorii za databázemi (relační algebru apod.), když se stejně dá probrat jenom
+povrchně. Podobně s transakcemi: určitě je dobré ukázat problémy, které mohou
+při zpracování transakcí nastat, ale nedává mi moc smysl učit algoritmy, které
+jsou natolik zjednodušené, že v praxi nejsou použitelné (například proto, že
+předpokládají, že množina řádků, se kterymi transakce pracuje, je fixní,
+tedy že neexistuje SELECT).
+
+Mnohem raději bych kurz posunul praktickým směrem. Pojďme studenty učit pokročilejší
+části SQL a různé druhy indexů. A možná trochu víc nahlédnout do no-SQL světa, třeba
+ukázat SPARQL.
 
 ## Neprocedurální programování
 
+Dává pořád smysl věnovat tolik času Prologu? Nebylo by lepší zanořit se hlouběji
+do světa funkcionálního programování?
+
 ## Programování v XYZ
 
+Naše nabídka „velkých“ programovacích předmětů mi přijde dost nevyvážená.
+Minimálně Rust už v dnešním světě hraje podobně důležitou roli jako C++.
+
+Neumíme do nabídky přidat i nějaké pokročilé funkcionální programování?
+
+## Výroková a predikátová logika
+
+U současné podoby VPL těžko hledám argumenty, proč by to měl byt povinný předmět
+pro všechna zaměření. Jistě se jedná o jeden ze základních stavebních kamenů
+matematiky, ale to mi nepřijde jako dobrý důvod: velmi podobným základním kamenem
+je teorie množin a ta je jen PV, navíc pouze pro část zaměření.
+
+Měli bychom si nejdřív ujasnit, které části logiky jsou pro informatiky tak zásadní,
+a kurz postavit kolem nich. A alespoň stejně intenzivně jako formalismu logiky se
+věnovat i motivaci za tímto formalismem.
 
-## Extras
+Obecněji: V matematice i informatice se v poslední době čím dál víc prosazují
+systémy strojově verifikovaných / strojově asistovaných důkazů. Ať už v samotné
+matematice (Lean, Coq), tak ve formálním dokazování správnosti programů.
+A myslím, že tento trend bude v dalších letech ještě sílit.
 
-- SAT
+Nedávalo by smysl nahradit Logiku povinným kurzem, který by směřoval k používání
+důkazových asistentů a podobných nástrojů? Přednáška by se věnovala teorii za těmito
+nástroji, cvičení zejména jejich praktickému použití.