Elements of mathematical logic

Содержание и основные понятия

Back to the table of contents
Alterna chapter 15
Elements of mathematical logic
Expressions, operations, truth tables, logical elements, transistors, Excel are the basis for the EEG No. 3 and EGE No. 2.15.
Mathematical logic is the language of exact reasoning. Each computer works according to the law of logic. Here you will learn 6 operations, build your own logic diagrams in Drag-and-drop designer, get to know transistors, and learn how logic is applied in Excel. The basis for logic algebra (17/26) and discrete mathematics.
GEF · Grade 8
PIF · Baseline
OGE No. 3
EEG No. 2.15
15
Chapter Pages
Five pages with theory, interactors and a bank of assignments.
15.1
Expressions and operations
Definition of the expression. 6 operations: ♪ B ♪ Priority: Laws de Morgana, axioms of algebra logic, formula calculator.
15.2
Tables of Truth
Algorithm of construction. Tavtology, contradictions, achievable. Quantators and pre-indicators.
Carno cards
- Visual minimization.
15.3
Logic in Excel
And, or, or not, in a table editor, an interactive table of truth (3 variables, choice of formula). Practical examples.
15.4
Workshop
Bank 50 jobs: 20 EEG + 20 EGE No.2 + 10 EEG No. 15 (precats) with step-by-step reviews. Filters, progress, Excel-
15.5
Polygon examination
Quest 800 XP + test 10 minutes + open task with standard. Dashboard results.
16.1
Transistor diagrams
Transistor as key, NMOS logic, semi-summer, multiplier. (Chapter 16)
🔗
Links with other chapters
Chapter 14
Numbering systems: XOR is the base of the binary buildup.
Chapter 17
Algebra logic: 9 laws, simplification, SNDF/SCNF.
Chapter 25
Schematics: AND/OR/NOT are operated by transistors.