Lecture Notes || SNS Courseware

Subject Details

Dept : IT

Sem : 3

Regul : 2017

Faculty : Dr. N.VITHYA

phone : NIL

E-mail : nvithya.r@gmail.com

354

Page views

Files

Videos

R.Links

Lecture Notes

UNIT 1:

Quantifiers

Predicates

Consistency and inconsistency of premises

Theory of inference

Principal Normal forms

Equivalences

Truth table and tautology

Introduction and Application of Proposition

Tutorial 1

Tutorial 2

Tutorial 3

Theory of inference for predicate calculus

Truth table and tautology

Equivalences

Theory of inference

Introduction and Application of Proposition

Truth table and tautology

Equivalences

Theory of inference

Quantifiers

UNIT 2:

Generating functions

Linear non homogeneous recurrence relations with constant coefficients

Tutorial 1

Linear homogeneous recurrence relations with constant coefficients

Recurrence relations

Tutorial 2

Permutations

Combinations

Strong Induction

Introduction and Application of Mathematical Induction

Tutorial 3

Inclusion and Exclusion principle and its applications

UNIT 3:

Connectivity

Graph isomorphism

Tutorial 1

Matrix representation of graphs

Special types of graphs

Graph terminology

Tutorial 2

Graphs

Introduction and Applications of Graphs

Tutorial 3

Euler paths

Hamiltonian paths

UNIT 4:

Introduction and Applications of Algebra

Tutorial 1

Tutorial 2

Tutorial 3

Algebraic systems

Semi groups and monoids

Groups

Subgroups

Homomorphisms

Normal subgroups and cosets

Lagrange’s theorem

Definitions and examples of Rings and Fields

UNIT 5:

Introduction and Applications of Lattices

Relation and Partial ordering or Posets

Lattices as Posets

Tutorial 1

Properties of lattices

Lattices as algebraic systems

Sub lattices

Tutorial 2

Direct product and homomorphism

Some special lattices

Boolean algebra

Tutorial 3

Lecture Notes

Announcements

Recent Files

Copyright © SNS College Of Engineering 2014 Developed bySNSCE