Discrets Mathematics

Bernardo Rz
Mind Map by Bernardo Rz, updated more than 1 year ago
Bernardo Rz
Created by Bernardo Rz over 5 years ago
16
1

Description

Mind Map on Discrets Mathematics, created by Bernardo Rz on 02/18/2015.

Resource summary

Discrets Mathematics
1 Lenguage of predicate logic
1.1 Computer Organization
1.1.1 A computer program is viewed as a Formula. A programming language, with its formal syntax and with the proof rules that define its semantics, is a formal system for which program execution provides only a model. The computers are conceived with the help of logical devices and are programmed in a logical manner.
1.2 Programming Lenguage
1.2.1
2 Core areas of Discrets Mathematics
2.1 Knowledge Management (Intelligent Information Systems; Expert Systems; Knowledge Representation; Automated Reasoning; Natural Language Processing etc.)
2.2 Database Systems (Data Models: relational, entityrelationship, etc.; Query-Processing Languages: model theory, completeness, consistency, deduction, etc.; Knowledge-Based Systems with incomplete, imperfect and tentative information requiring probabilistic, modal, possibilistic, belief and fuzzy reasoning; Natural Language Interfaces etc.)
2.3 Software Engineering (Program Verification; Correctness; Formal Specifications; Formal Design; Requirements, etc.)
2.4 Programming Languages/Data Structures (Language Design; Object-Oriented Approaches; Parallel Processing; Logic programming etc.)
2.5 Hardware Topics (Circuit Design/Optimization; Hardware Design Languages; Processor verification; Correctness of OS kernel; Language Implementation of given processors etc.)
3 Examples
3.1 Some applications of graphs and trees
3.1.1 1) Neural nets (NN )
3.1.2 2)Semantic Nets (SN)
3.1.3 3)Bayesian (Causal) Networks (BN)
3.1.4 4) MinimumSpanning Trees
3.1.5 5) BinaryTrees
3.1.5.1
3.1.6 6) Compression of(stored or transmitted) data using Huffman algorithm
3.1.7 7) Creating a totally ordered list and searching items
3.1.8 8) The reverse Polish notation
3.1.8.1
4 Bernardo Ramirez A0120275
5 Roventa, E. Dept. of Comput. Sci. & Eng., York Univ., Toronto, ON Spircu, T.
Show full summary Hide full summary

Similar

What were the Cause and Consequences of The Cuban Missile Crisis October 1962
matthewnr73
Geometry Formulas
Selam H
The Cold War
dottydiva96
GCSE Chemistry C1 - Carbon Chemistry ATOMS, MOLECULES AND COMPOUNDS (Easy)
Tess W
Food Technology - Functions of ingredients
evie.daines
AQA Biology B1 Questions
Bella Statham
PuKW - STEP 1 (mögliche Prüfungsfragen/Prüfungsvorbereitung)
Steven Lee
How did the Cold War develop?
Elisa de Toro Arias
1PR101 2.test - Část 4.
Nikola Truong
Mapa Mental Estructura gramatical presente simple inglés
Maria Paz Cornejo
LOS FENÓMENOS DE LA VIOLENCIA Y EL POS CONFLICTO EN COLOMBIA
Paola Alvarado