Discrete Mathematics Reporter: Anton Kuznietsov, Kharkiv Karazin National University, Ukraine In Problems.

Slides:



Advertisements
Similar presentations
PARADOX Chi-Kwong Li. A ‘ VISUAL ’ PARADOX : I LLUSION.
Advertisements

Solving Word Problems II
The Island of Knights and Knaves. Knights always tell the truth.
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–5 and 6: Propositional Calculus.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
The basics of propositional logic
Some Puzzles About Truth (and belief, knowledge, opinion, and lying)
The Island of Knights and Knaves. Raymond Smullyan 1978 A little learning is a dangerous thing; Drink deep, or taste not the Pierian spring: There shallow.
Recursion. n! (n factorial)  The number of ways n objects can be permuted (arranged).  For example, consider 3 things, A, B, and C.  3! = 6 1.ABC 2.ACB.
Statistics Introduction.
Logic Puzzles Miran Kim Ben Seelbinder Matthew Sgambati.
Artificial Intelligence Overview John Paxton Montana State University February 22, 2005
Logical and Rule-Based Reasoning Part I. Logical Models and Reasoning Big Question: Do people think logically?
MATHEMATICS INDUCTION AND BINOM THEOREM By : IRA KURNIAWATI, S.Si, M.Pd.
22C:19 Discrete Math Introduction and Scope Propositions Fall 2011 Sukumar Ghosh.
Adapted from Discrete Math
Logical Puzzles Truth and Lies. The Island of Rilas On the island of Rilas there are just two types of people: knights and knaves Knights always tell.
{ PHILOSOPHY Lesson 3 -The divisions of Philosophy A little Logic Part 1.
CSci 2011 Discrete Mathematics Lecture 3 CSci 2011.
CS 490 Mathematical Logic, Combinatorics, Counting Arguments, Graph Theory, Number Theory, Discrete Probability, Recurrence Relation. Thao Tran.
1 Excursions in Modern Mathematics Sixth Edition Peter Tannenbaum.
Dr. Naveed Riaz Design and Analysis of Algorithms 1 1 Formal Methods in Software Engineering Lecture # 24.
UNIT 3 THINKING MATHEMATICALLY BY BLITZER Hamilton Paths and Hamilton Circuits.
1 10/13/2015 MATH 224 – Discrete Mathematics Why Study Discrete Math  Determination of the efficiency of algorithms, e.g., insertion sort versus selection.
Lecture#16 Discrete Mathematics. Recursion Now, 1 is an odd positive integer by the definition base. With k = 1, = 3, so 3 is an odd positive integer.
Does this point lie on this line? The Point-Slope format (y – y 1 ) = m(x – x 1 )
Chapter 2 Mathematical preliminaries 2.1 Set, Relation and Functions 2.2 Proof Methods 2.3 Logarithms 2.4 Floor and Ceiling Functions 2.5 Factorial and.
CS 2210 (22C:019) Discrete Structures Introduction and Scope: Propositions Spring 2015 Sukumar Ghosh.
March 10,  Counting  Fundamental Counting principle  Factorials  Permutations and combinations  Probability  Complementary events  Compound.
Barnett/Ziegler/Byleen Finite Mathematics 11e1 Chapter 7 Review Important Terms, Symbols, Concepts 7.1. Logic A proposition is a statement (not a question.
MATH 224 – Discrete Mathematics
Math 409/409G History of Mathematics The Fibonacci Sequence Part 1.
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–4: Fuzzy Control of Inverted.
© Michael Lacewing Conceptual schemes Michael Lacewing.
Starters designed to get students ‘Talking Maths’.
Hard Problems Some problems are hard to solve.  No polynomial time algorithm is known.  E.g., NP-hard problems such as machine scheduling, bin packing,
Discrete Structures & Algorithms More on Methods of Proof / Mathematical Induction EECE 320 — UBC.
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
Computer Organization 1 Logic and Boolean Algebra.
CS 1813 Discrete Mathematics, Univ Oklahoma Copyright © 2000 by Rex Page 1 Lecture 2 CS 1813 – Discrete Mathematics Proofs Propositions and Calculuses.
Week 4 - Monday.  What did we talk about last time?  Divisibility  Quotient-remainder theorem  Proof by cases.
CS621: Artificial Intelligence Lecture 28: Propositional calculus; Puzzle Solving Pushpak Bhattacharyya Computer Science and Engineering Department IIT.
Foundations of Discrete Mathematics Chapters 5 By Dr. Dalia M. Gil, Ph.D.
False Positives Sensitive Surveys Lesson Starter A bag contains 5 red marbles and 4 blue marbles. Two marbles are drawn without replacement. What.
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 14: AI, Logic, and Puzzle Solving.
 Counting  Fundamental Counting principle  Factorials  Permutations and combinations  Probability  Complementary events  Compound events  Independent.
Mathematical Induction
Dr. Naveed Riaz Design and Analysis of Algorithms 1 1 Formal Methods in Software Engineering Lecture # 25.
QUESTIONS PG “Lie Detectors: Tracking Reactions”
What is the logic? The primary concern in logic is to identify and classify valid form of inference. The notions of 'validity' ,'form' and 'inference'
Section Basic Counting Principles: The Product Rule The Product Rule: A procedure can be broken down into a sequence of two tasks. There are n 1.
If-then statements April 4, What is an if-then statement? One of the postulates we looked at earlier stated: If B is between A and C, then AB +
CS621: Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture–10: Soundness of Propositional Calculus 12 th August, 2010.
Hard Problems Some problems are hard to solve.  No polynomial time algorithm is known.  E.g., NP-hard problems such as machine scheduling, bin packing,
4-5 Inequalities (pages ) P6  Represent inequalities on a number line or a coordinate plane.
CS 2210:0001 Discrete Structures Introduction and Scope: Propositions
An Act of Kindness -
Logics for Data and Knowledge Representation
Liar liar.
Mathematical Induction Recursion
Logics for Data and Knowledge Representation
Discrete Math (2) Haiming Chen Associate Professor, PhD
بسمه تعالی کارگاه ارزشیابی پیشرفت تحصیلی
Discrete Mathematics Lecture 2: Propositional Logic
A5 Simultaneous equations
Associativity of Equivalence
Knights and Knaves.
Let Q be the question Let A be “the native is a knight”
During a recent police investigation, Chief Inspector Stone was interviewing five local villains to try and identify who stole Mrs. Archer's cake from.
Presentation transcript:

Discrete Mathematics Reporter: Anton Kuznietsov, Kharkiv Karazin National University, Ukraine In Problems

Discrete mathematics and programming Ideas from combination theory and graph theory Algorithmic programming Some problems in discrete mathematics Math packages and programming are applied in

Scheme of the presentation Problems  1. Knights and Liars  2. Competing people  3. Search for the culprit  4. Queens  5. Knight’s move  6. Pavement Conclusions

1. Knights & Liars Suppose, we are on a certain island and have talked with three inhabitants A, B and C. Each of them is either a knight or a liar. Knights always say truth, liars always lie. Two of them (A and B) came out with the following suggestions: A: We all are liars. B: Exactly one of us is a knight. Question: Who of the inhabitants A, B and C is a knight, and who is a liar? Write down the inhabitants’ propositions, using formulas of proposition calculus. a = true  A – knight A:B:

1. Knights & Liars - solution a = true  A – knight A:B: at least 2 said truth, ↯ ↯ b Answer: B is the only knight, A and C are liars.

2. Competing people Four boys – Alex, Bill, Charles and Daniel – had a running-competition. Next day they were asked: “Who and what place has taken?” The boys answered so: Alex: I wasn’t the first and the last. Bill: I wasn’t the last. Charles: I was the first. Daniel: I was the last. It is known, than three of these answers are true and one is false. Question: Who has told a lie? Who is the champion?

2. Competing people - solution A - liarB - liarC - liarD - liar Answer: Charles is a liar, Bill is the champion

3. Search for the culprit Four people (A, B, C, D) are under suspicion of committing a crime. The following is ascertained: If A and B are guilty, then the suspected C is also guilty. If A is guilty, then B or C is also guilty. If C is the culprit, then D is also guilty. If A is innocent, then D is the culprit. Question: Is D guilty? A  A is guilty (1) (2) (3) (4)

3. Search for the culprit - solution (1) (2) (3) (4) A B C Answer: D is guilty.

4. Queens Dispose eight queens on the chess-board so, that the queens don't threaten each other. Find all variants of such arrangement.

4. Queens - solution

5. Knight’s moves There is a chess-board of size n x n (n <= 10). A knight stands initially on the field with coordinates (x0, y0). The knight has to visit every field of the chess-board exactly once. Find the sequence of knight’s moves (if it exists).

5. Knight’s moves - solution

6. Pavement Roadmen have pavement plates of size 1x1 and 1x2. How many ways are there to pave the road of size 2xN (1<=N<=1000)? The plates 1x2 are made on factory so, that they can be placed only with the wide side lengthwise the road. 2 x N 1, 4, 9, 25, 64, 169, 441, … N = 1, 2, 3, …

6. Pavement2 x N – the number of ways to pave the road.

1, 4, 9, 25, 64, 169, 441, … 6. Pavement2 x N N = 1, 2, 3, …

6. Pavement Roadmen have only plates of size 1x2. The plates can be placed both lengthwise and crosswise the road. How many ways are there in this case? 2 x N

6. Pavement3 x N Roadmen have only plates of size 1x2. The plates can be placed both lengthwise and crosswise the road. How many ways are there in this case? 1 < N < N is even.

6. Pavement3 x N, - the required quantity; - the number of ways to pave this road: A m = 3, 11, 41, 153, 571, 2131, 7953, … m = 1, 2, 3, …

Conclusions Combination theory, graph theory, pounding theory, Fibonacci numbers, Catalan numbers Algorithmic programming Problems of logic, combination theory, graph theory Programming are applied in

Thank you for your kind attention! Reporter: Anton Kuznietsov, Kharkiv Karazin National University, Ukraine