Logic for CS - Study24x7

Default error msg

New to Study24x7 ?
By continuing, you agree to Study24x7 ?

3 followers

1 Learner

# Logic for CS

Validity Unlimited All Level English

0.0 (0)
Free

The theory of computation is based on concepts defined by logicians and mathematicians such as Alonzo Church and Alan Turing. Church first showed the existence of algorithmically unsolvable problems using his notion of lambda-definability. ... This theory established a precise correspondence between proofs and programs.

• Total 1 Module
• 39 Videos
• Published on 29 June, 2019

## Module 1

• Semantics of Propositional Logic

37m
• Propositional Logic Syntax

37m
• Introduction

37m
• Logical and Algebraic Concepts

49m
• Identities and Normal forms

49m
• Tautology Checking

49m
• References

53m
• Verification of WHILE Programs

53m
• Verification of Imperative Programs

53m
• Towards Logic Programming

53m
• First -Order Theories

53m
• Completeness of the Hilbert System

53m
• Completeness of Tableaux Method

53m
• Resolution and Tableaux

53m
• Resolution : Soundness and Completeness

53m
• More on Resolution in FOL

53m
• Resolution in FOL

53m
• Unification

53m
• Substitutions and Instantiations

53m
• Skalemization

53m
• Normal Forms

53m
• Existential Quantification

53m
• Predicate Logic: Proof Theory (Contd..)

53m
• First - Order Theories

53m
• Structures and Substructures

53m
• Models

53m
• Subsitutions

53m
• The Semantic of Predicate Logic

53m
• Introduction to Predicate Logic

53m
• The Hilbert System :Completeness

53m
• The Hilbert System : Soundness

53m
• Derived Rules

53m
• Proof Theory : Hilbert-style

53m
• Formal Theories

53m
• Maximally Consistent Sets

53m
• The Completeness Theorem

53m
• Consistency and Completeness

53m
• Analytic Tableaux

53m
• Propositional Unsatisfiability

53m

5.0 (10)

5.0 (8)

5.0 (8)

5.0 (5)

5.0 (9)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

5.0 (1)

5.0 (3)

5.0 (2)

5.0 (2)

5.0 (1)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)