Úvod do Informatiky

• Autoři: HLINĚNÝ Petr
• Rok publikování: 2007
• Druh: Učební texty, pomůcky
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: 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.