knowledgr.de

Umriss der Informatik

Neues Wissen!

Der folgende Umriss wird als eine Übersicht und aktuelles Handbuch zur Informatik zur Verfügung gestellt:

Informatik (auch genannt Rechenwissenschaft) - Studie der theoretischen Fundamente von Information und Berechnung und ihrer Durchführung und Anwendung in Computersystemen. Ein weithin bekanntes unterworfenes Klassifikationssystem für die Informatik ist der ACM Computerwissenschaft des Klassifikationssystems, das von der Vereinigung ausgedacht ist, um Maschinerie Zu schätzen. Der ACM Informatik-Körper von Kenntnissen ist ein empfohlener Lehrplan für einen Universitätsniveau-Informatik-Kurs.

Teilfelder

Mathematische Fundamente

Mathematische Logik - Logik von Boolean und andere Weisen, logische Abfragen zu modellieren; der Gebrauch und die Beschränkungen von formellen Probemethoden
Zahlentheorie - Theorie der ganzen Zahlen. Verwendet in der Geheimschrift sowie einem Testgebiet in der künstlichen Intelligenz.
Graph-Theorie - Fundamente für Datenstrukturen und forschende Algorithmen.
Spieltheorie - Nützlich in der künstlichen Intelligenz und Kybernetik.
Das Codieren der Theorie - Nützlich im Netzwerkanschluss und den anderen Gebieten, wo Computer mit einander kommunizieren.

Algorithmen und Datenstrukturen

Algorithmen - Folgend und passen rechenbetonten Verfahren an, für eine breite Reihe von Problemen zu lösen.
Datenstrukturen - Die Organisation und Manipulation von Daten.

Künstliche Intelligenz

Künstliche Intelligenz - Die Durchführung und Studie von Systemen, die eine autonome Intelligenz oder Verhalten ihres eigenen ausstellen.

Das automatisierte Denken - das Lösen von Motoren, solcher, wie verwendet, in der Einleitung, die Schritte zu einem Ergebnis gegeben eine Abfrage auf einer Tatsache und Regel-Datenbank und automatisiertem Lehrsatz provers dass Ziel erzeugen, mathematische Lehrsätze mit etwas Hilfe von einem Programmierer zu beweisen.

Robotertechnik - Algorithmen, für das Verhalten von Robotern zu kontrollieren.

Computervision - Algorithmen, um dreidimensionale Gegenstände aus einem zwei dimensionalen Bild zu identifizieren.

Maschine, die - Automatisierte Entwicklung von einer Reihe von Regeln und Axiomen erfährt, auf dem Eingang gestützt.

Kommunikationen und Sicherheit

Der Netzwerkanschluss - Algorithmen und Protokolle, um Daten über verschiedene geteilte oder hingebungsvolle Medien häufig einschließlich der Fehlerkorrektur zuverlässig mitzuteilen.

Computersicherheit - Praktische Aspekte, Computersysteme und Computernetze zu sichern.

Geheimschrift - Wendet Ergebnisse von Kompliziertheit, Wahrscheinlichkeit und Zahlentheorie An, um Codes zu erfinden und zu brechen, und die Sicherheit von kryptografischen Protokollen zu analysieren.

Computerarchitektur

Computerarchitektur - Das Design, die Organisation, die Optimierung und die Überprüfung eines Computersystems, größtenteils über Zentraleinheiten und Speichersubsystem (und der Bus, der sie verbindet).

Betriebssysteme - Systeme für Betriebscomputerprogramme und das Schaffen der Grundlage eines verwendbaren Systems.

Computergrafik

Computergrafik - Algorithmen, sowohl um Sehimages synthetisch zu erzeugen, als auch um Seh- und Rauminformation zu integrieren oder zu verändern, haben von der echten Welt ausgefallen.

Bildverarbeitung - Bestimmung der Information von einem Image bis Berechnung.

Gleichzeitige, parallele und verteilte Systeme

Parallelität - Die Theorie und Praxis der gleichzeitigen Berechnung; die Datensicherheit in jedem Mehrbeschäftigen oder hat Umgebung mehreingefädelt.
Parallele-Computerwissenschaft - das Verwenden vielfacher gleichzeitiger Fäden der Ausführung Rechnend, Algorithmen ausdenkend, um Probleme auf vielfachen Verarbeitern zu beheben, um maximale Beschleunigung im Vergleich zur folgenden Ausführung zu erreichen.
Verteilte Computerwissenschaft - das Verwenden vielfacher Rechengeräte über ein Netz Schätzend, um ein gemeinsames Ziel oder Aufgabe und dadurch das Reduzieren der Latenz zu vollbringen, die an einzelnen Verarbeiter-Beiträgen für jede Aufgabe beteiligt ist.

Datenbanken

Verwandtschaftsdatenbanken - der Satz theoretisches und algorithmisches Fundament von Datenbanken.

Datenbergwerk - Studie von Algorithmen, um Information in Dokumenten und Datenbanken zu suchen und zu bearbeiten; nah verbunden mit der Informationsgewinnung.

Programmiersprachen und Bearbeiter

Bearbeiter-Theorie - Theorie des Bearbeiter-Designs, das auf der Automaten-Theorie gestützt ist.
Programmiersprache-Pragmatik - Taxonomie von Programmiersprachen, ihrer Kraft und Schwächen. Verschiedene Programmierparadigmen, wie objektorientierte Programmierung.
Programmiersprache-Theorie
Formelle Semantik - strenge mathematische Studie der Bedeutung von Programmen.
Typ-Theorie - Formelle Analyse der Typen von Daten und der Gebrauch dieser Typen, um Eigenschaften von Programmen — besonders Programm-Sicherheit zu verstehen.

Wissenschaftliche Computerwissenschaft

Rechenbetonte Wissenschaft - das Konstruieren mathematischer Modelle und quantitativer Analyse-Techniken und des Verwendens von Computern, um wissenschaftliche Probleme zu analysieren und zu beheben.
Numerische Analyse - Kommt numerischer Lösung mathematischer Probleme wie Wurzelentdeckung, Integration, die Lösung gewöhnlicher Differenzialgleichungen Näher; die Annäherung von speziellen Funktionen.
Symbolische Berechnung - Manipulation und Lösung von Ausdrücken in der symbolischen Form, auch bekannt als Computeralgebra.
Rechenbetonte Physik - Numerische Simulationen von großen nichtanalytischen Systemen
Rechenbetonte Chemie - das Rechenbetonte Modellieren der theoretischen Chemie, um chemische Strukturen und Eigenschaften zu bestimmen
Bioinformatics und Biologie von Computational - Der Gebrauch der Informatik, um aufrechtzuerhalten, analysieren Sie, versorgen Sie biologische Daten und beim Beheben biologischer Probleme wie Protein-Falte, Funktionsvorhersage und Phylogeny zu helfen.
Rechenbetonter neuroscience - das Rechenbetonte Modellieren der Neurophysiologie.

Softwaretechnik

Formelle Methoden - Mathematische Annäherungen, um zu beschreiben und über Softwaredesigns vernünftig zu urteilen.
Softwaretechnik - Die Grundsätze und Praxis von Entwerfen, Entwickeln, und Testprogrammen, sowie richtigen Technikmethoden.

Algorithmus-Design - das Verwenden von Ideen von der Algorithmus-Theorie bis kreativ Designlösungen echter Aufgaben.

Computerprogrammierung - Die Praxis, eine Programmiersprache zu verwenden, um Algorithmen durchzuführen.

Wechselwirkung des menschlichen Computers - Die Studie und das Design des Computers verbinden diesen Leute verwenden.
Rücktechnik - Die Anwendung der wissenschaftlichen Methode zum Verstehen der willkürlichen vorhandenen Software.

Theorie der Berechnung

Automaten-Theorie - Verschiedene logische Strukturen, um Probleme zu beheben.
Berechenbarkeitstheorie - Was mit den aktuellen Modellen von Computern berechenbar ist. Beweise, die von Alan Turing entwickelt sind, und gewähren andere Einblick in die Möglichkeiten dessen, was geschätzt werden kann, und was nicht kann.
Rechenbetonte Kompliziertheitstheorie - Grundsätzliche Grenzen (besonders Zeit und Abstellraum) auf Klassen der Berechnung.
Quant Rechentheorie - Erforscht rechenbetonte Modelle, die Quant-Überlagerung von Bit einschließen.