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

Zajęcia 14.01.2007

Na najbliższe zajęcia 14.01.2007 (grupy studiów dziennych) proszę zapoznać się z zagadnieniami lingwistyki formalnej oraz z definicją i działaniem Maszyny Turinga.