Logic for CS - Study24x7
Social learning Network

Login

New to Study24X7 ?

 Join Now
Logic for CS

1 Learner

Logic for CS

Validity Unlimited Logic for CS All Level Logic for CS English

0.0 (0)
Free

About This Course

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.

  • Logic for CS Total 1 Module
  • Logic for CS 39 Videos
  • Logic for CS Downloadable on mobile
  • Logic for CS Published on 29 June, 2019

Course Curriculum

Module 1

Logic for CS
  • <?php echo  $alt; ?>

    Semantics of Propositional Logic

    37m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Propositional Logic Syntax

    37m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Introduction

    37m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Logical and Algebraic Concepts

    49m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Identities and Normal forms

    49m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Tautology Checking

    49m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    References

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Verification of WHILE Programs

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Verification of Imperative Programs

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Towards Logic Programming

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    First -Order Theories

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Completeness of the Hilbert System

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Completeness of Tableaux Method

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Resolution and Tableaux

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Resolution : Soundness and Completeness

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    More on Resolution in FOL

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Resolution in FOL

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Unification

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Substitutions and Instantiations

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Skalemization

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Normal Forms

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Existential Quantification

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Predicate Logic: Proof Theory (Contd..)

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    First - Order Theories

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Structures and Substructures

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Models

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Subsitutions

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    The Semantic of Predicate Logic

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Introduction to Predicate Logic

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    The Hilbert System :Completeness

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    The Hilbert System : Soundness

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Derived Rules

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Proof Theory : Hilbert-style

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Formal Theories

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Maximally Consistent Sets

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    The Completeness Theorem

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Consistency and Completeness

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Analytic Tableaux

    53m <?php echo  $alt; ?>
  • <?php echo  $alt; ?>

    Propositional Unsatisfiability

    53m <?php echo  $alt; ?>

Similar Courses

Introduction to redis

by Tech Geeks
4.5 (3)

7 Enrollments

Validity Unlimited

10

RRB NTPC Mock Test 2019

by Learn N Share - Get latest updates on education
5.0 (1)

4 Enrollments

Validity Unlimited

21

NOC:Inductive Couple Plasma Atomic Emmission Spect..

by Dr J R Mudakavi
4.0 (1)

18 Enrollments

Validity Unlimited

Free

NOC Infrared spectroscopy for pollution monitoring

by Dr J R Mudakavi
0.0 (0)

6 Enrollments

Validity Unlimited

Free

NOC Trace and ultra trace analysis of metals using..

by Dr J R Mudakavi
0.0 (0)

10 Enrollments

Validity Unlimited

Free

SBI Clerk 2018 Preliminary & Mains Mock Test

by Just Asking - Lets check your knowledge
4.0 (1)

4 Enrollments

Validity Unlimited

21

C++ Programming Online Mock Test Free

by Just Asking - Lets check your knowledge
4.5 (2)

74 Enrollments

Validity Unlimited

Free

Free Core Java Online Practice Test

by Learn N Share - Get latest updates on education
5.0 (2)

66 Enrollments

Validity Unlimited

Free

C Online Practice Test

by Learn N Share - Get latest updates on education
5.0 (1)

6 Enrollments

Validity Unlimited

Free

JDBC ONLINE PRACTICE TEST

by Learn N Share - Get latest updates on education
0.0 (0)

3 Enrollments

Validity Unlimited

Free

PHP Online Practice Test

by Learn N Share - Get latest updates on education
5.0 (1)

21 Enrollments

Validity Unlimited

Free

C# Online Practice Test

by Learn N Share - Get latest updates on education
0.0 (0)

1 Enrollments

Validity Unlimited

Free

ASP.Net Online Practice Test

by Learn N Share - Get latest updates on education
5.0 (1)

18 Enrollments

Validity Unlimited

Free

HTML Online Practice Test

by Learn N Share - Get latest updates on education
5.0 (1)

21 Enrollments

Validity Unlimited

Free

JavaScript & jQuery Online Practice Test

by Learn N Share - Get latest updates on education
0.0 (0)

25 Enrollments

Validity Unlimited

Free

Everything needs for Exam (Aptitude)

by General Science and History
4.5 (12)

385 Enrollments

Validity Unlimited

10

Talent Enhancement skill Test - Class 1th

by Talent In You
3.0 (1)

4 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test - Class 2th

by Talent In You
5.0 (1)

1 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test - Class 3th

by Talent In You
5.0 (1)

1 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test - Class 4th

by Talent In You
0.0 (0)

1 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test- Class 5th

by Talent In You
5.0 (1)

2 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test -Class 6th

by Talent In You
0.0 (0)

4 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test -Class 7th

by Talent In You
0.0 (0)

4 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test -Class 8th

by Talent In You
5.0 (1)

11 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test- Class 9th

by Talent In You
5.0 (1)

6 Enrollments

Validity Unlimited

Free