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

Product Details

Author
Publisher
Share This

Description

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:
  Statistical Reasoning II
by John McGready

  Introduction to Statistics
by Susan Cooper-Nguyen

Reviews & Ratings
User Reviews         Rate this title  

More Details

  • LearnOutLoud.com Product ID: F074529