# Discrets Mathematics

Mind Map by Bernardo Rz, updated more than 1 year ago
 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.

### Similar

What were the Cause and Consequences of The Cuban Missile Crisis October 1962
Geometry Formulas
The Cold War
GCSE Chemistry C1 - Carbon Chemistry ATOMS, MOLECULES AND COMPOUNDS (Easy)
Food Technology - Functions of ingredients
AQA Biology B1 Questions
PuKW - STEP 1 (mögliche Prüfungsfragen/Prüfungsvorbereitung)
How did the Cold War develop?
1PR101 2.test - Část 4.
Mapa Mental Estructura gramatical presente simple inglés
LOS FENÓMENOS DE LA VIOLENCIA Y EL POS CONFLICTO EN COLOMBIA