Professional Documents
Culture Documents
LECTURE SCHEDULE
necessary mathematical concepts that are prerequisite for computer related subjects namely
database management systems, knowledge based systems and artificial intelligence..
different types of logics namely first-order logic ,quantifier logic and predicator logic so as to gain
knowledge of artificial intelligence..
elementary combinations and permutations with/without repetitions, different methods of
solving recurrence relations
concepts and algorithms related to various types of graphs, trees and applications to real life
problems.
UNIT-I
Outcomes:
Upon completion of this unit, students will be able to explain the basic concepts of sets and relations and their
applications to lattice problems, to determine all the possible paths available in directed paths
UNIT-II
Objective: This unit will develop students’ knowledge on different types of logics namely first-order logic
,quantifier logic and predicator logic so as to gain knowledge of artificial intelligence.
Introduction to propositions and connectives
Week-5
Introduction to logical inferences
05.08.2019 Introducing the concept of writing the logical interferences 4
to by using given arguments
10.08.20197 Problems based on verifying the given argument by using
the truth tables.
Page 3 of 4
Outcomes:
Upon completion of this unit, students will be able to analyze the different types of logic in order to establish
knowledge based systems, to verify numerical statements using induction.
UNIT-III
Objective: This unit will develop students’ knowledge on elementary combinations and permutations with
repetitions, different methods of solving recurrence relations.
UNIT-IV
Objective: This unit will develop students’ knowledge on concepts and algorithms related to various types of
graphs, trees and applications to real life problems.