Publication details
Úvod do Informatiky
| Authors | |
|---|---|
| Year of publication | 2007 |
| MU Faculty or unit | |
| Citation | |
| Description | Výukový text Úvodu do Informatiky, který je primárně určený pro studenty stejnojmenného předmětu na FI MU Brno. Čtenáři se v něm seznamí se základními matematickými konstrukcemi potřebnými pro popis sémantiky programů a formalizaci vztahů mezi intuitivními programovými konstrukcemi a jejich matematickým významem. Vytváří se tím pojmový základ pro řadu dalších předmětů, které patří k~základní teoretické výbavě informatiků. Náš text svým obsahem navazuje na původní slidy předmětu IB000 sepsané A.~Kučerou do roku 2005, je však výrazně rozšířený o volný text a komentáře. |