单语范例（未经PONS编辑处理）
Durch eine Definition der Produktvariationen, die den Anforderungen an eine ideale Boolesche Algebra entspricht, kann eine einheitliche und konsistente Produktdefinition gewährleistet werden.
de.wikipedia.org Die Boolesche Algebra und ihr Simplifizierungsprozess hilft beim Verständnis der folgenden Beispiele.
de.wikipedia.org Er ist vor allem dadurch bekannt, dass die für die Computertechnik grundlegende boolesche Algebra nach ihm benannt wurde.
de.wikipedia.org Jede boolesche Algebra ist zu einer Mengenalgebra isomorph.
de.wikipedia.org Aus algebraischer Sicht, genauer: Aus Sicht der formalen Algebra ist die Semantik für die klassische Aussagenlogik eine zweiwertige Boolesche Algebra.
de.wikipedia.org 互联网提供的例句（未经PONS编辑处理）
[...]
www.uni-goettingen.de Theoretische Informatik (insbesondere Algorithmen, Logik, Komplexitätstheorie, Kodierung und Kryptologie, formale Logik und Semantik, Computer Algebra, künstliche Intelligenz)
[...][...]
Theoretical Computer Science (especially algorithms, logic design theory, complexity theory, coding and cryptology, formal logic and semantics, computer algebra, artificial intelligence)
[...][...]
www.nvidia.de Die für C++ entwickelte und mit einer Visual Studio Entwicklungsumgebung erhältliche Fermi Architektur vereinfacht die Parallelprogrammierung und beschleunigt ein breiteres Anwendungsspektrum als je zuvor – besonders bemerkenswert ist die Beschleunigung bei Raytracing, Physikberechnungen, Finite-Element-Analyse, hochpräzisen wissenschaftlichen Berechnungen, linearer Algebra mit dünn besetzten Matrizen und Sortier- und Suchalgorithmen.
[...][...]
Designed for C++ and available with a Visual Studio development environment, it makes parallel programming easier and accelerates performance on a wider array of applications than ever before – including dramatic performance acceleration in ray tracing, physics, finite element analysis, high-precision scientific computing, sparse linear algebra, sorting, and search algorithms.
[...][...]
www.fim.uni-passau.de Sie erhalten vertiefte Kenntnisse über computergestützte mathematische Methoden – insbesondere in den Bereichen algorithmische Algebra und Computational Stochastics – und profundes Wissen zur Modellierung und Komplexitätsanalyse diskreter und stetiger Probleme.
[...][...]
You will acquire advanced knowledge of computer-based mathematical methods – particularly in the areas of algorithmic algebra and computational stochastics – as well as developing an in-depth expertise in mathematical modelling and complexity analysis of discrete and continuous problems.
[...][...]
www.uni-bamberg.de Hierzu zählen insbesondere Analysis, lineare Algebra, Aussagen- und Prädikatenlogik sowie Statistik.
[...][...]
This pertains particularly to analysis, linear algebra, propositional and first-order logic, and statistics.
[...][...]
www.fh-kaernten.at Lineare Algebra (Vektoren und Matrizen, Lineare Gleichungssysteme, Eigenwerte und Eigenvektoren) Empfohlene Fachliteratur:
[...][...]
Linear algebra (vectors and matrices, systems of linear equations, eigenvalues ??and eigenvectors) recommended or required reading:
[...]