No Wikipedia

University of Washington

Spring 2022

This course aims to improve students' software development skills, focusing on building correct, scalable, and easy-to-understand software. It relies on a solid understanding of Java and the concepts covered in CSE 143. Students will learn about software design principles, modern programming languages, and software tools. It covers software testing, type systems, design patterns, and more.

No concepts data

+ 28 more conceptsStanford University

Fall 2022

CS 157 provides a rigorous introduction to Logic from a computational viewpoint. The course mainly deals with encoding information as logical sentences and reasoning methods for this information. It gives an overview of logic technology and its applications. Topics range from propositional logic, relational logic, functional logic to various deduction techniques and mathematical induction.

No concepts data

+ 11 more concepts