The purpose of studying logic in computer science is to prove theorems and verify the correctness of programs. We have now introduced four important logical connectives conjunctions. Discrete structures cs 335 mohsin raza university institute of information. Lecture summery introduction to the course propositions logical connectives truth tables. In this book, we will consider the intuitive or naive view point of sets. A praposition of on statement is a declarative sentence which either true.
This is a book about discrete mathematics which also discusses. Discrete structures guidelines and practical list pdf. Other books relate discrete structures to topics from software engineering 11 12. The connective that has been introduced last in the process of generation of the formula is called the principal. Express the statement p q as a statement in english. Rosen, discrete mathematics and its applications, 7th edition, tata mc graw hill pub. The book began as a set of notes for the discrete mathematics course at the. Letter to student faculty information resources purpose of the course course description course requirements course objectives student objectives grading procedures content information instructional sequence calendar timetable readings reference policy on cheating chapter 2. In these discrete structures notes pdf, you will study the fundamental concepts of sets, relations and functions, mathematical logic, group theory, counting theory, probability, mathematical induction and recurrence relations, graph theory, trees and boolean algebra. We have now introduced four important logical connectivesconjunctions. Connectives have correct number of subexpressions parentheses balanced. Discrete structures is foundational material for computer science.
Propositional logic and its logical operations in computer arithmetic duration. By foundational we mean that relatively few computer scientists will be working primarily on discrete structures, but that many other areas of computer science require the ability to work with concepts from discrete structures. Reference books discrete mathematics and its applications with. Logical connectives logical expression sequence of statement letters, connective symbols.
The course aims to introduce the students to boolean algebra, sets, relations, functions, principles of counting, and growth functions so that these concepts may be used effectively in other courses. If you have any doubts please refer to the jntu syllabus book. If we think of sets as representing predicates, each logical connective gives. Discrete mathematics introduction to propositional logic. Discrete mathematics introduction to propositional logic thetrevtutor. Ma6566 discrete mathematics notes regulation 20 anna.
Discrete structures guidelines and practical list pdf discrete structures guidelines and practical list. Discrete structures lecture notes stanford university. Discrete structures lecture notes vladlen koltun1 winter 2008 1computer science department, 353 serra mall, gates 374, stanford university, stanford, ca 94305, usa. Pdf discrete structures notes lecture free download. Discrete mathematics ma6566 notes pdf free download. Intuitively speaking, logic as a subject is the collection of techniques used to prove that an argument is valid. Logic propositions and truth values logical connectives and truth tables tautologies and contradictions logical equivalence and logical implication the algebra of. So to analyze logical connectives, it is enough to consider. Mathematical structures for computer science a modern approach to discrete mathematics sixth edition judith l. Logic and proof, propositions on statement, connectives, basic connectives, truth table for basic connectives,and,disjunction,conditional state,bi conditional state,tautology,contradiction,fallacy,contigency,logical equialances,idempotent law,associtative law,commutative law,demorgans law, distributive law,complements law,dominance law,identity law. Crc series of books in discrete mathematics, consisting of more than 55 volumes. Hauskrecht discrete mathematics discrete mathematics study of mathematical structures and objects that are fundamentally discrete rather than continuous.
Introduction to discrete structures chapter 1 formal logic mikel d. Ma6566 discrete mathematics notes regulation 20 anna university free download. Cs 214 introduction to discrete structures chapter 1. Contents preface xv note to the student xvii chapter 1 formal logic 1 1.
1322 121 1477 336 45 46 770 825 695 1303 632 110 732 1136 844 978 957 1414 29 580 1437 1003 954 1327 1297 349 1294 670 1388 37 993 1289 785 961 620 1444