IST112 - Applied Logic
The course will present formal logic with a concentration on Classical and Symbolic Logic. Control flow, data manipulation, and planning methods will be discussed, including diagramming and pseudo-coding. The course will emphasize systems thinking as an approach to solving problems and understanding formal logic. Programming theory and logic will be presented with hands-on practice in model environments, while students are provided with essential problem-solving methods, techniques, and disciplines. Students will develop confidence in applying programming solutions, will be exposed to pertinent terminology, and will learn the effective use of reference material.