Induction is a process of reasoning in which conclusions are drawn from specific premises. It is commonly used in mathematics and logic, and can also be applied to philosophy and science. Inductive reasoning is the opposite of deductive reasoning, which draws conclusions from general premises.

University of Washington

Autumn 2021

CSE 311 introduces theoretical computer science, the theory background necessary for other CSE courses, and how to construct rigorous, formal arguments. Topics include logic, set theory, modular arithmetic, induction, regular expression, and relations.

No concepts data

+ 33 more conceptsUC Berkeley

Fall 2022

CS 70 presents key ideas from discrete mathematics and probability theory with emphasis on their application in Electrical Engineering and Computer Sciences. It addresses a variety of topics such as logic, induction, modular arithmetic, and probability. Sophomore mathematical maturity and programming experience equivalent to an Advanced Placement Computer Science A exam are prerequisites.

No concepts data

+ 32 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 conceptsCarnegie Mellon University

Spring 2022

This course is about software verification, with the goal of writing bug-free code. Students will learn to formalize program correctness, write verified code, and use automated tools for verification. It explores the principles behind verification tools, logical specifications, and deductive reasoning. Previous knowledge in program correctness reasoning is beneficial.

No concepts data

+ 22 more concepts