Go Advanced Search

Get this free title from:

Free Stuff in These Categories
Find More Titles by
This Author: Stan Warford
This Publisher: iTunes Course

Formal Methods by Stan Warford

Formal Methods

by Stan Warford

Title Details

Share This


Formal logic as a tool for mathematical proofs. Propositional calculus: Boolean expressions, logic connectives, axioms, and theorems. Predicate calculus: universal and existential quantification, modeling English propositions. Set theory. Introduction to mathematical induction.

People Who Liked Formal Methods Also Liked These Free Titles:
Reviews & Ratings
User Reviews         Rate this title  

More Details

  • LearnOutLoud.com Product ID: F074529