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ě to není zbytečná námaha...