Druhý z MOOC kursů (srv. 14.04.2014), který jsem zakončil, je kurs University v Melbourne "Logika: Jazyk a informace" (Greg Restall, Jen Davoren). Kurs se týkal výrokové logiky, o níž jsem si myslel, že ji znám docela dobře. Netušil jsem ovšem, jak velké množství zajímavých a netriviálních aplikací výroková logika má v oblasti elektroniky, lingvistiky a počítačové vědy. Kurs trval šest týdnů, provázela jej řada testů a závěrečné zkoušky.
1—Jazyk a modely výrokové logiky
2—Důkazy pro propoziční logiku
3—Elektronické inženýrství: kombinační digitální systémy
4—Filosofie: Vágnost
5—Lingvistika: "Implikatura" a implikace
6—Počítačová věda: výroky v jazyce PROLOG
Kurs je implementován na platformě společnosti Coursera a je i po pedagogické stránce výborný (kromě automaticky vyhodnocovaných testů měli Restall a Devoren připravený i zajímavý systém "peer" hodnocení). Díky MOOC platformám je nyní možné v klidu domova, v šumavských hvozdech, studovat na prestižních světových univerzitách. V tomto kurzu jsem měl kolem 40 000 spolužáků.
Žádné komentáře:
Okomentovat