2058504
Beschreibung
Mindmap von Bernardo Rz, aktualisiert more than 1 year ago
|
Erstellt von Bernardo Rz
vor mehr als 9 Jahre
|
|
Discrets Mathematics
- Lenguage of predicate logic
- Computer Organization
- 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.
- 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.
- Programming Lenguage
- Computer Organization
- Core areas of Discrets Mathematics
- Knowledge Management
(Intelligent Information Systems;
Expert Systems; Knowledge
Representation; Automated
Reasoning; Natural Language
Processing etc.)
- 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.)
- Software Engineering (Program
Verification; Correctness; Formal
Specifications; Formal Design;
Requirements, etc.)
- Programming Languages/Data
Structures (Language Design;
Object-Oriented Approaches;
Parallel Processing; Logic
programming etc.)
- Hardware Topics (Circuit
Design/Optimization; Hardware
Design Languages; Processor
verification; Correctness of OS
kernel; Language Implementation of
given processors etc.)
- Knowledge Management
(Intelligent Information Systems;
Expert Systems; Knowledge
Representation; Automated
Reasoning; Natural Language
Processing etc.)
- Examples
- Some applications of graphs and trees
- 1) Neural nets (NN )
- 2)Semantic Nets (SN)
- 3)Bayesian (Causal) Networks (BN)
- 4) MinimumSpanning Trees
- 5) BinaryTrees
- 6) Compression of(stored or transmitted)
data using Huffman algorithm
- 7) Creating a totally ordered list and
searching items
- 8) The reverse Polish notation
- 1) Neural nets (NN )
- Some applications of graphs and trees
- Bernardo Ramirez A0120275
- Roventa, E. Dept. of
Comput. Sci. & Eng., York
Univ., Toronto, ON Spircu, T.
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.