Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model-theoretic
Vertaling van "model-theoretic" in Duits
modelltheoretische
Besides, we gladly supervise model-theoretic theses that deduce an economic model and discuss it critically.
Außerdem betreuen wir gerne modelltheoretische Arbeiten, die ein ökonomisches Modell herleiten und kritisch diskutieren.
Each of the two logics will be investigated from four aspects: formal syntax, formal (model-theoretic) semantics, proof theory and application to natural language (formalisation, "informal semantics").
Jede der zwei Logiken wird unter vier Aspekten untersucht: formale Syntax, formale (modelltheoretische) Semantik, Beweistheorie und Anwendung auf natürliche Sprachen (Formalisieren, "informelle Semantik").
They have the same type, and they have parallel model-theoretic interpretations: They produce appropriate sets of events from input sets of events.
Sie haben den gleichen Typ und parallele modelltheoretische Interpretationen: Sie erzeugen Ereignismengen aus Eingabe-Ereignismengen.
In other words, essentially, we assign a model-theoretic semantics to imperative programs.
Mit anderen Worten, wir weisen imperativen Programmen eine modelltheoretische Semantik zu.
In order to deal with these problems in a more precise way I am working on further developing a version of the semantic view of theories that draws on model-theoretic tools.
Um diese Untersuchungen in einem präzisen Rahmen durchführen zu können, arbeite ich an der Weiterentwicklung einer Variante der semantischen Theorienauffassung, die durch den Einsatz modelltheoretischer Hilfsmittel gekennzeichnet ist.
Two established model-theoretic approaches to teaching and learning in vocational training (text-based learning, learning and reflection phases) were combined and supplemented with the organisational flexibility to indirectly promote learning strategies.
Didaktisch wurden hierzu zwei etablierte modelltheoretische Ansätze des Lehrens und Lernens in der beruflichen Bildung verschränkt (Leittextmethode, Lern- und Reflexionsschleife) und gezielt um Gestaltungsmöglichkeiten zur indirekten Förderung von Lernstrategien ergänzt.
Therefore, this paper analyzes the model-theoretic industrial organization literature and its findings about competition and the incentives to invest in product innovation oriented R&D against the background of this distinction into innovation competition on the one hand and product market competition on the other.
Vor dem Hintergrund dieser Unterscheidung in Innovationswettbewerb auf der einen Seite und Produktmarktwettbewerb auf der anderen Seite, analysiert der vorliegende Aufsatz den Zusammenhang zwischen dem vorherrschenden „Wettbewerb" und den Anreizen der Unternehmen in Produktinnovationen zu investieren.
This project is concerned with the model-theoretic semantics for expressions such as 1.73 m tall, about 4:00, more than 10 books, and older than Fred, whose meanings involve reference to or comparison between points on a scale.
Das Projekt untersucht die Semantik von sprachlichen Ausdrücken, die auf einen Punkt auf einer Skala referieren bzw. Punkte vergleichen, wie z. B. 1.73 m groß, gegen 16:00 Uhr, mehr als 10 Bücher und 17 Grad kühler.
Komputationelle Semantik beschäftigt sich mit der automatischen Interpretation The main topic of the course will be the composition of typed meaning representations for a fragment of natural language, their model-theoretic interpretation and their use in inference mechanisms.
Dies umfasst sowohl die Konstruktion von Bedeutungsrepräsentationen, als auch deren Interpretation in Bezug auf die außersprachliche Welt und ihr Gebrauch in Inferenzmechanismen.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor model-theoretic in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 9. Exact: 9. Verstreken tijd: 20 ms.
