Adobe PDF
(990 kB)
| Title Details: | |
|
Mathematical Logic, Gates and Cercuits |
|
| Other Titles: |
Logical statments' optimaization and switching circuits design. |
| Authors: |
Georgiou, Dimitrios Antoniou, Efstathios Chatzimichailidis, Anestis |
| Reviewer: |
Soudris, Dimitrios |
| Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > DISCRETE STRUCTURES MATHEMATICS AND COMPUTER SCIENCE > MATHEMATICS > MATHEMATICAL LOGIC AND FOUNDATIONS MATHEMATICS AND COMPUTER SCIENCE > MATHEMATICS > MATHEMATICAL LOGIC AND FOUNDATIONS > ALGEBRAIC LOGIC MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > DISCRETE STRUCTURES > BASIC LOGIC NATURAL SCIENCES AND AGRICULTURAL SCIENCES > PHYSICS > ELECTRONIC PHYSICS AND RELATED AREAS OF SCIENCE > CIRCUIT COMPONENTS AND ELECTRONIC CIRCUITS |
| Keywords: |
Boolean Algebra
Gates Circuits |
| Description: | |
| Abstract: |
Mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are true and false, usually denoted 1 and 0 respectively.The main operations of Boolean algebra are the conjunction and, denoted ∧, the disjunction or, denoted ∨, and the negation not, denoted ¬. It is thus a formalism for describing logical relations in the same way that ordinary algebra describes numeric relations.
Boolean algebra was introduced by George Boole in his first book The Mathematical Analysis of Logic (1847), and set forth more fully in his An Investigation of the Laws of Thought (1854). Logical propositions may represent certain circuits where the operations and negation are described by logical gates. Boolean algebra has been fundamental in the development of digital electronics, and is provided for in all modern programming languages. It is also used in set theory and statistics.[3] |
| Table of Contents: |
Introduction to Mathematical Logic - First degree Logic - Switches and Gates - Circuits and Propositions - Boolean algebra - Minimal Forms.
|
| Linguistic Editors: |
Kioseoglou, Nerina Tromara, Sofia |
| Technical Editors: |
Stragali, Faidra Yfantidou, Georgia |
| Type: |
Chapter |
| Creation Date: | 21-12-2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/460 |
| Bibliographic Reference: | Georgiou, D., Antoniou, E., & Chatzimichailidis, A. (2015). Mathematical Logic, Gates and Cercuits [Chapter]. In Georgiou, D., Antoniou, E., & Chatzimichailidis, A. 2015. Discrete Mathematical Structures in Computer Science [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/460 |
| Language: |
Greek |
| Is Part of: |
Discrete Mathematical Structures in Computer Science |
| Number of pages |
31 |
| Publication Origin: |
Kallipos, Open Academic Editions |