1. In 1940 Quine advanced NF to Mathematical Logic (ML).

1940 erweiterte Quine NF zur Mathematical Logic (ML).

2. He also published papers on real and complex analysis, applied mathematics and mathematical logic.

Er veröffentlichte auch Schriften zur Analysis reeller und komplexer Zahlen, zur angewandten Mathematik und zur mathematischen Logik.

3. The training programme included the latest advances in mathematical logic with potential industrial applications.

Das Ausbildungsprogramm beinhaltete die neuesten Fortschritte der mathematischen Logik, die möglicherweise in der Industrie Anwendung finden können.

4. Élisabeth Bouscaren (born 1956) is a French mathematician who works on algebraic geometry, algebra and mathematical logic (model theory).

Élisabeth Bouscaren (* 1956) ist eine französische Mathematikerin, die sich mit Algebraischer Geometrie, Algebra und Mathematischer Logik (Modelltheorie) befasst.

5. Model theory is a branch of mathematical logic dealing with abstract structures, historically connected to other fields of mathematics.

Die Modelltheorie ist ein Zweig der mathematischen Logik, der sich mit abstrakten Strukturen auseinandersetzt, die traditionell mit anderen Bereichen der Mathematik in Verbindung stehen.

6. The relationship found between algebra and proof theory was then used for a thorough mathematical analysis of fuzzy logic rules.

Die ermittelte Beziehung zwischen Algebra und Beweistheorie wurde anschließend für eine gründliche mathematische Analyse von Fuzzy-Logik-Regeln angewendet.

7. The conceptional basis of our work is in software engineering, programming languages, data structures and efficient algorithms, and mathematical logic.

Die konzeptuellen Grundlagen unserer Arbeit kommen aus den Bereichen Softwaretechnik, Programmiersprachen, Datenstrukturen und effiziente Algorithmen, sowie mathematische Logik.

8. Growth in the many branches of mathematical logic reflects different schools of thought and various applications in algebra, analysis and geometry.

Das Wachstum in den vielen Bereichen der mathematischen Logik widerspiegelt verschiedene Denkschulen und unterschiedliche Anwendungen in Algebra, Analysis und Geometrie.

9. AGTL+ stands for either assisted Gunning transceiver logic or advanced Gunning transceiver logic.

Abhängig von der Quelle bedeutet AGTL entweder Assisted Gunning Transceiver Logic oder Advanced Gunning Transceiver Logic.

10. Rock solid logic.

Dennoch legen wir Wert auf den

11. Similarly to logic languages, functional logic languages provide search for solutions for existentially quantified variables.

Ähnlich wie logische Sprachen bieten funktionallogische Sprachen Lösungen für die Suche nach existentialquantifizierten Variablen.

12. Mathematical instruments for evaluation of surveys

Mathematische Instrumente für Auswertungen von Fragebögen

13. Logic is the foundation... of function.

Logik ist das Fundament der Funktion.

14. Logic units to ensure safety functions.

Logikeinheiten zur Gewährleistung der Sicherheitsfunktionen.

15. The processor elements are implemented as CMOS/neuron MOS threshold value logic elements or CMOS/NMOS pass transistor logic elements.

Die Prozessorelemente werden in CMOS/Neuron-MOS-Schwellwertlogik oder in CMOS/NMOS-Pass-Transistor-Logik ausgeführt.

16. The same technology with photochromic supramolecules was applied in advanced logic operations, giving rise to a very sophisticated molecular logic platform.

Dieselbe Technologie wurde bereits mit photochromen Supramolekülen für fortgeschrittene Logikoperationen eingesetzt, woraus eine äußerst hochentwickelte molekulare Logikplattform entstand.

17. In the national extended study in Germany the term “mathematical literacy” was elaborated to arrive at a definition of fundamental mathematical education.

Im nationalen Ergänzungstest in Deutschland wurde der Begriff „mathematical literacy“ ausdifferenziert und erweitert zu einem auch in der deutschen Allgemeinbildungsdiskussion zu verankernden Begriff „mathematischer Grundbildung“.

18. Mathematical classification of algebraic structures using random walks theory

Mathematische Klassifizierung algebraischer Strukturen anhand der Random-Walk-Theorie

19. The company was bought by Solid State Logic ca.

Es galt seinerzeit als größte Installation der Firma Solid State Logic.

20. ‘braking signal’ means a logic signal indicating brake activation.

„Bremssignal“ ein Schaltsignal, das die Bremsenbetätigung anzeigt.

21. But there's no logic to the algebra of love.

Es gibt nun mal keine Logik in der Algebra der Liebe.

22. Component with a logic circuit arrangement with configurable functionality

Bauelement mit einer in ihrer funktionalität konfigurierbaren logikschaltungsanordnung

23. His research is in Algebra, Mathematical Programming, Operations Research, and Statistics.

Er befasste sich mit Algebra, Mathematischer Programmierung und Operations Research und Statistik.

24. The virtual conditions are built using the positive logic algebra.

Die virtuellen Bedingungen werden unter Zuhilfenahme der Positive Logic Algebra erstellt.

25. Analytic number theory uses mathematical analysis to solve problems about integers.

Die analytische Zahlentheorie verwendet mathematische Analysen, um Probleme mit Ganzzahlen zu lösen.

26. Drawing up mathematical and statistical calculations for credit risk analysis (scoring)

Erstellung von mathematisch-statistischen Berechnungen zur Kreditrisikobewertung (Scoring)

27. Also, the constancy of ratio-amplitude parameter is established from mathematical consideration.

In einer mathematischen Betrachtung wird auch die Konstanz des Amplitudenverhältnisses der beiden Wellen als Parameter bewiesen.

28. Exceptions could be made for rewriting functions or contributing new logic.

Sie können Ausnahmen machen, wenn Methoden neu geschrieben wurden oder neue Logik beigesteuert wurde.

29. Often rather complicated logic systems will be required for these functions.

Für regelungstechnische Anwendungen sind oft lineare Funktionen erwünscht.

30. Full custom logic circuits are designed to perform application-specific functions.

Anwendungsspezifische logische Schaltungen werden zur Ausführung von anwendungsspezifischen Funktionen konstruiert.

31. Among the mathematical properties of these functions mainly their ambiguities are discussed.

Von den mathematischen Eigenschaften dieser Funktionen werden vor allem die Mehrdeutigkeiten behandelt, für ihre praktische Anwendbarkeit als Interpolationsformeln Rechenhilfen aufgezeigt.

32. The Almagest was written by Ptolemy as a textbook of mathematical astronomy.

Auch enthält der Almagest einen Katalog der Himmelsobjekte.

33. Operation, application and identification in logic diagrams of multiplexers and demultiplexers.

Arbeitsweise, Anwendung und Kennzeichnung von Multiplexern und Demultiplexern in logischen Schaltplänen.

34. Naturally, mathematical procedures, programming languages and algorithms cannot be subject to such protection.

Verständlicherweise können mathematische Verfahren, Programmiersprachen und Algorithmen nicht urheberrechtlich geschützt werden.

35. Drafting tables and machines and other drawing, marking-out or mathematical calculating instruments

Zeichentische und -maschinen, andere Zeichen-, Anreiß- oder Recheninstrumente und -geräte

36. Creating software for carrying out mathematical statistical calculations for credit risk analysis (scoring)

Erstellung von Software zur Durchführung von mathematisch-statistischen Berechnungen zur Kreditrisikobewertung [Scoring]

37. The second step consists in a mathematical computer analysis of color valence measurements.

Auf die mathematische farbvalenzmetrische Computerauswertung durch einen zweiten Schritt wird hingewiesen.

38. The mathematical model shall be validated in comparison with the actual test conditions.

Das mathematische Modell ist durch Vergleich mit den tatsächlichen Prüfbedingungen zu validieren.

39. the mathematical approach upon which the calculation of the analytical result is made;

den mathematischen Ansatz, auf dem die Berechnung der Analysenergebnisse beruht;

40. Combinatory logic is the foundation for one style of functional programming language.

Kombinatorische Logik bildet eine der Grundlagen für funktionale Programmiersprachen.

41. The Lindenbaum algebra of propositional intuitionistic logic is a Heyting algebra.

Die Lindenbaum-Algebra der intuitionistischen Aussagenlogik ist eine Heyting-Algebra.

42. It has the advantage to be simple, exhaustive, logic and adaptable.

Ihre grundlegenden Eigenschaften sind die Einfachheit, Vollständigkeit, der logische Aufbau und die Anpassungsfähigkeit.

43. Braking signal: logic signal indicating brake activation as specified in paragraph

Bremssignal ein Schaltsignal, das die Bremsenbetätigung nach Absatz #.#.# anzeigt

44. ‘Braking signal’: logic signal indicating brake activation as specified in paragraph 5.2.1.30.

„Bremssignal“ ein Schaltsignal, das die Bremsenbetätigung nach Absatz 5.2.1.30 anzeigt.

45. No justification in the nature and logic of the network charge system

Keine Rechtfertigung durch Natur und Aufbau des Netzentgeltsystems

46. ‘Braking signal’: logic signal indicating brake activation as specified in paragraph 5.2.22.

„Bremssignal“ ein Schaltsignal, das die Bremsenbetätigung nach Absatz 5.2.22 anzeigt;

47. quantitative economic techniques: descriptive statistics; regression and causality analysis; sensitivity analysis; mathematical modelling

quantitative ökonomische Techniken: deskriptive Statistik; Regressions- und Kausalitätsanalyse; Sensitivitätsanalyse; mathematische Modellierung

48. (i) the mathematical approach upon which the calculation of the analytical result is made;

i) den mathematischen Ansatz, auf dem die Berechnung der Analysenergebnisse beruht;

49. - | Mock-ups or visualisations of abstract concepts such as molecular structures or mathematical formulae |

- | Modelle und bildliche Darstellungen von abstrakten Begriffen, wie Molekularstrukturen oder mathematische Formeln |

50. Such a mediation brought together algebra and logic for the first time.

Diese Art der Vermittlung ist gekennzeichnet durch eine erste Annäherung von Algebra und Logik.

51. Additional registers and an enlarged address decoding logic in the logic circuitry attribute storage blocks to another address area and allow storage blocks in the same address area to be selectively operated.

Zusätzliche Register und eine erweiterte Adreßdecodierlogik in der Logikschaltung weisen Speicherblöcken einen anderen Adreßbereich zu und erlauben den wahlweisen Betrieb von Speicherblöcken im gleichen Adreßbereich.

52. Mock-ups or visualisations of abstract concepts such as molecular structures or mathematical formulae

Modelle und bildliche Darstellungen von abstrakten Begriffen, wie Molekularstrukturen oder mathematische Formeln

53. It shall be done with help of an analogue simulation by a mathematical model.

Sie soll aber mit Hilfe einer analogen Situation über ein mathematisches Modell noch ausgeführt werden.

54. - Mock-ups or visualizations of abstract concepts such as molecular structures or mathematical formulae

- Modelle und bildliche Darstellungen von abstrakten Begriffen, wie Molekularstrukturen oder mathematische Formeln

55. So, we will next cover first- order logic which addresses these two limitations.

Daher werden wir uns als Nächstes mit der Prädikatenlogik beschäftigen, welche diese beiden Einschränkungen aufhebt.

56. The computation algorithm and the mathematical model for a digital computer are also presented.

Der Algorithmus und das mathematische Modell für die Computerberechnung werden dargestellt.

57. A mathematical model of the thermal decomposition of basic aluminium ammonium sulfate has been developed.

Es wurde das mathematische Modell fur thermische Zersetzung des basischen Ammoniumaluminiumsulfats bearbeitet.

58. You must have a mathematical brain, analytical skills, a journalistic approach and good writing ability.

Hierfür setzen wir sowohl ein gutes Zahlenverständnis und analytische Fähigkeiten als auch journalistisches Gespür und eine gute "Schreibe" voraus.

59. In the hope of making observable phenomena more communicable, he abstracts them into mathematical symbols.

Er abstrahiert beobachtbare Phänomene zu mathematischen Zeichen in der Hoffnung, sie damit leichter kommunizierbar zu machen.

60. (xi) mock-ups or visualizations of abstract concepts such as molecular structures or mathematical formulae;

xi) Modelle oder bildliche Darstellungen von abstrakten Begriffen wie Molekularstrukturen oder mathematischen Formeln;

61. In addition to mathematical physics, he works on algebraic geometry, category theory, and algebraic topology.

Neben mathematischer Physik befasst er sich mit algebraischer Geometrie, Kategorientheorie und algebraischer Topologie.

62. Specific efforts should be made to ensure logic and consistency within the activity statement.

Insbesondere sollte es spezifische Anstrengungen im Hinblick auf die Gewährleistung eines logischen und kohärenten Gedankenaufbaus in den Informationsbögen zu den Tätigkeiten geben.

63. The different logic and purpose of both notions may justify necessary adaptations or distinctions.

Unterschiede in Logik und Zweck beider Begriffe mögen notwendige Anpassungen und Unterschiede rechtfertigen.

64. Economic activity cannot solve all social problems through the simple application of commercial logic.

Das Wirtschaftsleben kann nicht alle gesellschaftlichen Probleme durch die schlichte Ausbreitung des Geschäftsdenkens überwinden.

65. The initial description includes the foreseen project intervention logic, project objectives, results and activities.

Die Erstbeschreibung umfasst die geplante Interventionslogik sowie die Ziele, Ergebnisse und Tätigkeiten des Projekts.

66. Programmable logic controllers, multi display units electronic counters, electronic timers, sensor control units

Programmierbare Logiksteuerungen, elektronische Zähler für Mehrfachdisplays, elektronische Zeitgeber, Sensorsteuerungseinheiten

67. According to the rules of logic, only one of those solutions is tenable.

Logischerweise lässt sich nur eine dieser Auffassungen vertreten.

68. Innovation and experimentation generated diverse territories, alien to the strict logic of the SC.

Erfindung und Versuch brachten unterschiedliche, der strengen Logik der Sozialzentren fremde Gebiete hervor.

69. As well as the actual input mask, a screen also consists of flow logic.

Ein Dynpro besteht aus einer Bildschirmmaske und der zugehörigen Dynproablauflogik.

70. Each output can be an arbitrary boolean function of up to eight logic inputs.

Jeder Ausgang kann eine beliebige Boole’sche Funktion von maximal acht logischen Eingängen sein.

71. causal links from resources used through to activities and presumed impacts (the intervention logic)

Kausalverbindungen zwischen den eingesetzten Mitteln und den Aktivitäten und voraussichtlichen Auswirkungen (Interventionslogik)

72. Combinatory logic is a model of computation equivalent to lambda calculus, but without abstraction.

Die Kombinatorische Logik ist ein Berechnungsmodell, das äquivalent zum Lambda-Kalkül ist, aber ohne die Abstraktion auskommt.

73. (f) mock-ups or visualizations of abstract concepts such as molecular structures or mathematical formulae:

f) Modelle oder bildliche Darstellungen von abstrakten Begriffen wie Molekularstrukturen oder mathematischen Formeln,

74. Rules are then used to transform the algorithm abstraction into equivalent variants using mathematical identities.

Folgend werden Regeln angewandt, um die Algorithmusabstraktion mithilfe mathematischer Identitäten in äquivalente Varianten umzuwandeln.

75. Our investigations in this paper are centred around the mathematical analysis of a “modal wave” problem.

Die vorliegenden Untersuchungen beziehen sich auf die mathematische Behandlung des „Modalwellen”-Problems.

76. Finally, the Court explained the correct procedure for analyzing a patent claim employing a mathematical algorithm.

Bevor dieses Gericht aber den Fall Flook entschied, entwickelte die niedrigere Instanz ein zwei-Schritt-Prozedere zum Analysieren von programm-relevanten Erfindungen angesichts des Falles Benson.

77. A topological group is a mathematical object with both an algebraic structure and a topological structure.

Eine topologische Gruppe hat sowohl eine topologische, als auch eine algebraische Struktur.

78. It enables better processing of a unified abstraction of the algorithms in high-level mathematical expression.

Dies ermöglicht bessere Berechnung einer vereinheitlichten Abstraktion der Algorithmen in mathematischer Expression hoher Ebene.

79. These subcircuits may contain any integrated function (e.g., a logic function or a memory function);

Diese Teilschaltungen können jede integrierte Funktion beinhalten (z.B. Logikfunktionen oder Speicherfunktionen);

80. The pin assignment editor can be ended by re-activating the Edit Symbol Logic function.

Der Editiervorgang wird durch erneutes Aufrufen von Symbollogik editieren oder Anklicken des selbsterklärenden aktiven Textes am oberen Rand des Arbeitsbereiches beendet.