B tech. Discrete mathematics (I. T & Comp. Science Engg.) Syllabus


Unit I PROPOSITIONAL LOGIC AND COUNTING THEORY



Download 472,94 Kb.
bet3/50
Sana11.01.2022
Hajmi472,94 Kb.
#343705
1   2   3   4   5   6   7   8   9   ...   50
Bog'liq
Independent.deskret

Unit I

PROPOSITIONAL LOGIC AND COUNTING THEORY



OBJECTIVES:

After going through this unit, you will be able to :



    • Define proposition & logical connectives.

    • To use the laws of Logic.

    • Describe the logical equivalence and implications.

    • Define arguments & valid arguments.

    • To study predicate and quantifier.

    • Test the validity of argument using rules of logic.

    • Give proof by truth tables.

    • Give proof by mathematical Induction.

    • Discuss Fundamental principle of counting.

    • Discuss basic idea about permutation and combination.

    • Define Pigeon hole principle.

    • Study recurrence relation and generating function.


INTRODUCTION :
Mathematics is assumed to be an exact science. Every statement in Mathematics must be precise. Also there can’t be Mathematics without proofs and each proof needs proper reasoning. Proper reasoning involves logic. The dictionary meaning of ‘Logic’ is the science of reasoning. The rules of logic give precise meaning to mathematical statements. These rules are used to distinguish between valid & invalid mathematical arguments.
In addition to its importance in mathematical reasoning, logic has numerous applications in computer science to verify the correctness of programs & to prove the theorems in natural & physical sciences to draw conclusion from experiments, in social sciences & in our daily lives to solve a multitude of problems.

The area of logic that deals with propositions is called the propositional calculus or propositional logic. The mathematical approach to logic was first discussed by British mathematician George Boole; hence the mathematical logic is also called as Boolean logic.


In this chapter we will discuss a few basic ideas.

Download 472,94 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9   ...   50




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish