Adiel's Notes

Search

SearchSearch
        • Asymptotic notation
        • Computational Tractability
        • polynomial time
        • Recurrence
        • Binary search
        • Closest Pair of Points
        • lecture 6
        • Long Binary Multiplication
        • Merge-sort
        • Polynomial Multiplication
        • Cassette Problem
        • Grid Unique Paths
        • Independent Set
        • Knapsack Problem
        • Matrix Chain Multiplication
        • Missiles Problem
        • Nth Fibonacci Number
        • Parentheses
        • Sequence Alignment
        • Subset Sum Problem
        • Word Break Problem
        • Bipartiteness
        • Connected Components
        • Graph Algorithms
        • Graph Traversal
        • Hamiltonian Path Problem
        • Huffmn Code
        • Longest path problem
        • Minimum Spanning Tree Problem
        • Shortest Path Problem
      • Abstract Data Types
      • Algorithms
      • Data Structures
      • Fast Fourier Transform
      • lecture - flows 2
      • Network Flow
      • NETWORKS-TODO
      • Polynomial Evaluation
      • Selection Problem
      • Sort algorithms
        • Boundness
        • Classification
        • Continuity
        • Derivative
        • Differential
        • Extrema
        • Limit
        • Monotonicity
        • Definite Integral
        • Improper Integral
        • Indefinite Integral
        • Integration
        • Boundness
        • Limit
        • Mean Sequences
        • Monotonicity
        • Order
        • Subsequence
        • Subsequential Limit
        • Convergence Tests
        • darft-ce
        • Power Series
        • Sequence of Functions
        • Series
        • Series of Functions
      • Multivariable Calculus
      • Real Numbers
      • Topology
      • Vector calculus
      • Complexity
      • Context-Free Language
      • Context-Sensitive
      • Formal Languages
      • Linear bounded automaton
      • Regular Language
      • Turing Machine
      • intro
      • signal processing
      • toc
      • ALU
      • Architecture
      • Cache Memory
      • Digital Electronics
      • Logic Circuits
      • MIPS
      • Performance
      • Pipelining
      • Signed numbers
      • Single-cycle processor
      • syscall
        • Bell numbers
        • Binomial Coefficient
        • Combination
        • Counting Table
        • Generating Functions
        • Inclusion–exclusion principle
        • Partition
        • Permutation
        • Pigeonhole principle
        • Recurrence Relation
        • Relations
        • Stirling numbers
          • Binary Tree
          • Tree
        • Classes
        • EN-HE
        • Graph
        • Properties
        • Functions
        • Relations
        • Sets
        • Tuples
      • README
      • Linear Systems
      • Linear Transformations
      • Matrices
      • Orthogonality
      • Vector Spaces
      • Vectors
            • A
            • E
            • I
            • O
            • U
            • Unstressed Vowels
          • Consonants
          • R colored vowels
        • Allophones
        • Glossary
        • IPA
        • Minimal Pairs
        • Cut of Beef
      • Grammar
      • References
        • Homomorphism
        • Model Theory
        • Predicate Calculus
        • Semantic
        • Syntax
        • Proof Calculus
        • Dialects
        • Propositional Calculus
        • Rules of Inferences
        • Rules of Replacement
        • Semantic
        • Syntax
        • Truth Function
      • Cheatsheet
      • EXAM-Practice
      • hw2
      • Many-sorted logic
      • Second-order Logic
      • Structural Induction
      • Terminology
      • Curriculum
      • Greek letters
      • Tools
      • disk
      • res
      • terms
      • toc
        • Chemistry
        • draft-five
        • Battery
        • Charge
        • Circuits
        • Current
        • Digital electronics
        • Electronic Components
        • Energy
        • Magnetism
        • Power
        • Voltage
        • voltage and current source
        • Center of Mass
        • Circular motion
        • Energy
        • Force
        • Harmonic oscillator
        • Linear motion
        • Work
      • Engine
      • Gas
      • Pressure
      • Units
      • Untitled
      • Waves
          • Polygon
          • Quadrilateral
          • Triangle
        • Angles
        • Circle
        • plane geometry
        • Solid geometry
        • Straight Lines
        • Divisibility
        • Modular arithmetic
        • Number Theory
        • Numeral systems
      • Analytic Geometry
      • Binomial Theorem
      • Completing the square
      • Complex numbers
      • Curve
      • Exponentiation
      • Fractions
      • Interpolation
      • Linear function
      • Logarithm
      • Long Division
      • Means
      • nth Root
      • Partial Fractions
      • Polynomial
      • Quadratic formula
      • Rational function
      • Trigonometry
      • Zero of a Function
      • Frequency
      • Probability
      • Random Variables
      • Statistics
    Logic

    Logic

    Predicate LogicProof theoryPropositional LogicCheatsheetEXAM-PracticeMany-sorted logicSecond-order LogicStructural InductionTerminologyhw2