Differences

This shows you the differences between two versions of the page.

Link to this comparison view

omi [2017/01/20 12:03]
pantel
omi [2017/01/20 12:03] (current)
pantel
Line 1: Line 1:
 This course tries to bridge the gap between the formal definition and practical use of Mathematical Tools in Computer Science. This course tries to bridge the gap between the formal definition and practical use of Mathematical Tools in Computer Science.
  
-   * [LogicCoq|Propositional and predicate logic using Coq]+   * [[LogicCoq|Propositional and predicate logic using Coq]]
  
-   * Inductive proofs using Coq+   * [[InductionCoq|Inductive proofs using Coq]]
  
-   * Hoare logic using Why3+   * [[HoareCoqWhy3|Hoare logic using Why3]]
 
 
omi.txt · Last modified: 2017/01/20 12:03 by pantel
Recent changes RSS feed Creative Commons License Valid XHTML 1.0 Valid CSS Driven by DokuWiki
Drupal Garland Theme for Dokuwiki