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. This course will emphasize systems thinking as an approach to solving will emphasize systems thinking as an approach to solving problems and understanding formal logic. Programming theory and logic will be presented with a hands-on practice in model environments, while students are provided with essential problem-solving methods, techniques and essential problem-solving methods, techniques and disciplines using digital semiconductors and micro-controllers. Students will develop confidence in applying programming solutions, will be exposed to pertinent technology, and will learn the effective use of reference material.