3NF 4NF active rdf ai ann apache automaty BCNF bd bsf c colors cyc db dbpedia debian dia dydaktyka eclipse epi erd filozofia firewall flex gem gemcutter gentoo git google grafy gui guides https ig isa iswc java jquery jruby kolokwium krug linux lisp logika maven musicbrainz mysql mysql workbench nginx Nielsen nlp onp openoffice pascal passenger pesel php pjn poliqarpr prezentacja programowanie prolog rails rcp rdb rdf regex rmbench rod rsa ruby ruby rails rvm semantic web sparql sql ssh subclipse subversion svn sw ubuntu ujs uml usability vim virtuoso wdi web wierzba wsd

Wprowadzenie

Program przedmiotu

1. Algorytm (pojęcie, zapis, konstrukcja)
2. Prezentacja przykładowych algorytmów.
3. Systemy pozycyjne, konwersje, zapis stało- i zmiennopozycyjny.
4. Struktura logiczna komputera, Przykładowy komputer PMC.
5. Gramatyki i automaty (pojęcia podstawowe informatyki teoretycznej).
6. Jak liczą komputery (stos, odwrotna notacja polska).
7. Wybrany model maszyny Turinga.
8. Mierzenie ilości informacji.

Literatura

• W.M.Turski “Propedeutyka informatyki”
• M.Sysło “Elementy informatyki”
• N.Wirth “Wstęp do programowania systematycznego”
• N.Wirth “Algorytmy + struktury danych = programy”
• R.Tadeusiewicz, P.Moszner, A.Szydełko “Teoretyczne podstawy informatyki”
• A.Szepietowski “Podstawy informatyki”

Materiały dr Lembasa

Kolokwia

W trakcie zajęć będą przeprowadzone 2 kolokwia – najprawdopodobniej w listopadzie i styczniu. Obowiązujący na nich zakres tematyczny zostanie przedstawiony później.