.. This file is part of the OpenDSA eTextbook project. See
.. http://opendsa.org for more details.
.. Copyright (c) 2012-2020 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. avmetadata::
   :title: Mathematical Proof Techniques with Programmed Instruction Framesets
   :author: Eunoh Cho; Mostafa Mohammed; Cliff Shaffer
   :institution: Virginia Tech
   :requires:
   :satisfies: Proof Techniques
   :topic: Mathematical Proof Techniques
   :keyword: Proof; Induction Proof; Proof by Contradiction; Deductive Proof
   :naturallanguage: en
   :programminglanguage: N/A
   :description: Review materials on proof techniques appropriate for a course in Data Structures and Algorithms or Formal Languages. Uses Programmed Instruction Framesets. 

Mathematical Proof Techniques
=============================

Mathematical Proof Types
------------------------

.. inlineav:: MathProofFS ff
   :links: AV/PIFLA/Background/MathProofFS.css
   :scripts: DataStructures/PIFrames.js AV/PIFLA/Background/MathProofFS.js
   :output: show


Mathematical Induction
----------------------

.. inlineav:: InductionIntroFS ff
   :links: AV/PIFLA/Background/InductionIntroFS.css
   :scripts: DataStructures/PIFrames.js  AV/PIFLA/Background/InductionIntroFS.js
   :output: show


Induction Proof Examples
------------------------

.. inlineav:: InductionExamp1FS ff
   :links: AV/PIFLA/Background/InductionExamp1FS.css
   :scripts: DataStructures/PIFrames.js AV/PIFLA/Background/InductionExamp1FS.js
   :output: show

|

.. inlineav:: InductRegionsFS ff
   :links: AV/PIFLA/Background/InductRegionsFS.css
   :scripts: DataStructures/PIFrames.js AV/PIFLA/Background/InductRegionsFS.js
   :output: show

|

.. inlineav:: InductFactFS ff
   :links: AV/PIFLA/Background/InductFactFS.css
   :scripts: DataStructures/PIFrames.js AV/PIFLA/Background/InductFactFS.js
   :output: show