SIE 505 – Formal Foundations for Information Science

SIE 505 – Formal Foundations for Information Science (Hahmann)

Sample Syllabus (Spring 2018)

This course increases student’s understanding of formalism underlying information systems and science. It introduces five foundational modes of thinking that underlie information processing: logical, relational, recursive, quantitative, algorithmic thinking.
It increases familiarity with formal syntax and language and develops an understanding in handling mathematical structures, including logic, set theory, functions and relations, graphs, and recursive structures, and it discusses the bases of computation. The course equips students with the toolset to study more advanced mathematical and computational formalisms on their own and to present research ideas formally.
See the link above for a detailed syllabus..