OBSAH

Jak sami poznáte, studium informatiky neznamená jen "naučit se nějaký programovací jazyk", nýbrž zahrnuje celý soubor dalších relevantních předmětů, mezi nimiž najdeme i matematicko--teoretické (formální) základy moderní informatiky. Právě odborný nadhled nad celou informatikou včetně nezbytné formální teorie nejspíše odliší řadového programátora, kterých jsou dnes spousty i bez VŠ vzdělání, od skutečného a mnohem lépe placeného IT experta.

A na tomto místě nyní přichází náš předmět Úvod do Informatiky, který (i přes svůj nepříliš obsažný název) vás právě na studium těchto formálních základů moderní informatiky připraví.
Jak také během studia tohoto předmětu poznáte (a ti méně šťastní až s překvapením u zkoušek), vlastně vše, k čemu naším předmětem IB000 směřujeme, se dá neformálně shrnout slovy "naučit se přesně vyjadřovat a být si svými tvrzeními naprosto jisti" a analogicky "naučit se navrhovat správné algoritmy a být si i svými programy naprosto jisti". Z pohledu programátora-praktika se sice toto může jevit jako nedostižná chiméra, ale určitě není zbytečná námaha se to aspoň pokusit.

Takže s chutí do studia první lekce (a nelekejte se velmi formálního začátku, je nezbytný a po něm hned přijdou už přístupnější a zajímavější pasáže)... Přiloženy jsou zde slidy lekce a rozsáhlejší popis poznatků najdete v první části studijního text.

V této první lekci ještě není  samostatné procvičení materiálu, seznamte se teď raději s duchem a budoucím přínosem předmětu.

Pro některé příklady se již můžete podívat do příští lekce a jejího odpovědníku. Obzvláště upozorňujeme na nutnost pochopení významu implikace, neboli matematického tvrzení formulovaného stylem "jestliže platí předpoklad, pak platí závěr" (sekce 1.2). I přes všechno vysvětlování okolo stále mnohým studentům činí velké problémy pochopit, že třeba i následující tvrzení ja matematicky pravdivé:
Je-li n přirozené a zároveň n<0, tak n=0.5. (Proč? Přece 0.5 není přirozené ani záporné...)

Doplňkové a externí materiály

Mimo vlastních přednáškových textů a cvičících příkladů přinášíme ještě množství odkazů na doplňkové a externí zdroje (nespravované vyučujícím). V těchto externích zdrojích můžete nalézt množství informací, které vám poskytnou jiný pohled na látku nebo více hlubších vědomostí (ale také někdy mohou být v rozporu s některými našimi pojmy a definicemi - v takovém případě samozřejmě dávejte předost materiálu z přednášky). Ke zvládnutí předmětu nejsou doplňkové informace nutné, ale mohou se hodit.