MAT119 Asst. Prof. Ferhat PAKDAMAR (Civil Engineer) M Blok - M106 Gebze Technical University Department of Architecture Fall – 2015_2016.

Slides:

Advertisements

Similar presentations

Set Theory BY Miss Manita Modphai. ©1999 Indiana University Trustees Why Study Set Theory? Understanding set theory helps people to … see things in terms.

Advertisements

MAT120 Asst. Prof. Dr. Ferhat PAKDAMAR (Civil Engineer) M Blok - M106 Gebze Technical University Department of Architecture Spring.

Proof Points Key ideas when proving mathematical ideas.

Boolean Algebra Discussion D6.1 Sections 13-3 – 13-6.

1 Section 10.1 Boolean Functions. 2 Computers & Boolean Algebra Circuits in computers have inputs whose values are either 0 or 1 Mathematician George.

BOOLEAN LOGIC CSC 171 FALL 2004 LECTURE 7. ASSIGNMENT Review Quiz # 2 Start reading Chapter 5.

Boolean Algebra Discussion D6.1 Appendix G. Boolean Algebra and Logic Equations George Boole Boolean Algebra Theorems Venn Diagrams.

Boolean Algebra Discussion D2.2. Boolean Algebra and Logic Equations George Boole Switching Algebra Theorems Venn Diagrams.

Lecture 24: Gödel’s Proof CS150: Computer Science

Inductive and Deductive Reasoning Geometry 1.0 – Students demonstrate understanding by identifying and giving examples of inductive and deductive reasoning.

The Arithmetic of Reasoning: Logic and Boolean Algebra -Jeff Johnson -Mike Grassel.

MAT120 Asst. Prof. Dr. Ferhat PAKDAMAR (Civil Engineer) M Blok - M106 Gebze Technical University Department of Architecture Spring.

A Brief Biography of George Boole

2.5 Reasoning in Algebra and Geometry

2-5 Reasoning in Algebra and Geometry

Programming for GCSE Topic 3.3: Boolean Logic and Truth Tables

Computer Science 101 Boolean Algebra. What’s next? A new type of algebra – Helps us A new type of algebra – Helps us With logical reasoningWith logical.

MAT120 Asst. Prof. Ferhat PAKDAMAR (Civil Engineer) M Blok - M106 Gebze Technical University Department of Architecture Spring – 2014/2015.

Digital Logic Circuits – Chapter 1 Section 1-3, 1-2.

Boolean Algebra – I. Outline  Introduction  Digital circuits  Boolean Algebra  Two-Valued Boolean Algebra  Boolean Algebra Postulates  Precedence.

David Evans CS200: Computer Science University of Virginia Computer Science Class 24: Gödel’s Theorem.

CSC Intro. to Computing Lecture 5: Boolean Logic, Gates, & Circuits.

Introduction to Geometric Proof Logical Reasoning and Conditional Statements.

CS1Q Computer Systems Lecture 6 Simon Gay. Lecture 6CS1Q Computer Systems - Simon Gay2 Algebraic Notation Writing AND, OR, NOT etc. is long-winded and.

MAT120 Asst. Prof. Ferhat PAKDAMAR (Civil Engineer) M Blok - M106 Gebze Technical University Department of Architecture Spring – 2014/2015.

Boolean Algebra. Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the late 1830s. It created a notation.

MAT120 Asst. Prof. Dr. Ferhat PAKDAMAR (Civil Engineer) M Blok - M106 Gebze Technical University Department of Architecture Spring.

Section 2-3 Deductive Reasoning. Types of Reasoning:

Honors Geometry Intro. to Deductive Reasoning. Reasoning based on observing patterns, as we did in the first section of Unit I, is called inductive reasoning.

A Mathematical Logician By: Hanan Mohammed. Objectives: Who is this guy? Why should we know him? Impact on Mathematical and Logical fields ( )

Chapter 2 Section 5. Objective  Students will make a connection between reasoning in Algebra and reasoning in Geometry.

Math Department Geometry: Inductive or Deductive?

 I can identify and use the properties of real numbers.

Figure 2.6. A truth table for the AND and OR operations. 2.3 Truth Tables 1.

Thinking in Methodologies Class Notes. Gödel’s Theorem.

Section 3.4 Boolean Algebra. A link between:  Section 1.3: Logic Systems  Section 3.3: Set Systems Application:  Section 3.5: Logic Circuits in Computer.

Boolean Values The true story ;=P. Expressions.

CONDITIONALS. Boolean values Boolean value is either true or false It is name after the British mathemetician, George Boole who first formulated Boolean.

MAT119 Asst. Prof. Ferhat PAKDAMAR (Civil Engineer) M Blok - M106 Gebze Technical University Department of Architecture Fall – 2015_2016.

Laws of Boolean Algebra Commutative Law Associative Law Distributive Law Identity Law De Morgan's Theorem.

CSE Winter 2008 Introduction to Program Verification January 8 Boolean operators.

Chapter 4 Fundamentals of Computer Logic 1 Chapter 4: Fundamental of Computer Logic - IE337.

Computer Science 129 Science, Computing and Society Week 5 Chapter 4.

Section 2.3: Deductive Reasoning

Boolean Algebra Boolean algebra was introduced by George Boole in his first book The Mathematical Analysis of Logic (1847), perfected in the late 19th.

Logic Design (CE1111 ) Lecture 2 (Chapter 2) Prepared by Dr. Lamiaa Elshenawy 1.

5 Lecture in math Predicates Induction Combinatorics.

TODAY IN GEOMETRY…  Learning Goal: 2.5 Use Algebraic Properties to form logical arguments  Independent Practice  Retake Ch. 1 Test before Friday! 

GEORGE BOOLE by 3B s.i.a Boole was born in 1815 in the English industrial town of Lincoln. George Boole's father was a tradesman in Lincoln.

 Have homework out ready to check.  Ask a neighbor for help if needed!

USING PROPERTIES FROM ALGEBRA ALGEBRAIC PROPERTIES OF EQUALITY Let a, b, and c be real numbers. SUBTRACTION PROPERTY ADDITION PROPERTY If a = b, then a.

Gebze Institute of Technology Department of Architecture

CPS120 Introduction to Computer Science

4-1 LOGIC OPERATIONS In Chapter 3 we discussed the fact that data inside a computer is stored as patterns of bits. Logic operations refer to those operations.

Aberdeen Grammar School

M1 Lesson 4.4 January 21, 2009 Deductive Reasoning.

Gebze Technical University Department of Architecture

Inductive Vs. Deductive Reasoning

Drill: Tuesday, 10/18 2. Determine if the conditional “If x is a number then |x| > 0” is true. If false, give a counterexample. OBJ: SWBAT analyze.

Chapter 2: Geometric Reasoning

Or how to put your search together by using connectors

University of Maryland Baltimore County Department of Computer Science and Electrical Engineering CMPE 212 Laboratory (Discussion 4) Hasib Hasan

ECB2212-Digital Electronics Boolean algebra

Section 3-6 Inductive Reasoning.

George Boole English Mathematician

Boolean Algebra By: Asst Lec. Besma Nazar Nadhem

ECE Digital Electronics

Boolean Algebra.

Presentation transcript:

MAT119 Asst. Prof. Ferhat PAKDAMAR (Civil Engineer) M Blok - M106 Gebze Technical University Department of Architecture Fall – 2015_2016 Week 3

Proofs - Conditional Statements - Basic Properties of Algebra - Inductive vs. Deductive Reasoning - An Approach to Proofs - Reading of basic notations in mathematics

Conditional Statements

Different kinds of reasoning in Geometry? kinds of reasoning 1.intuition reasoning 2.analogy Analogy is a cognitive process of transferring information or meaning from a particular subject (the analogue or source) to another particular subject (the target), or a linguistic expression corresponding to such a process. 3.inductive reasoning 4.deductive reasoning 5.abstract reasoning

Logical Set Properties The term "Boolean algebra" honors George Boole (1815– 1864), a self-educated English mathematician. He introduced the algebraic system initially in a small pamphlet, The Mathematical Analysis of Logic, published in 1847 in response to an ongoing public controversy between Augustus De Morgan and William Hamilton, and later as a more substantial book, The Laws of Thought, published in 1854.