We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
model theory
Teoria modeli dostarcza wglądu w podstawy rozumowania matematycznego i logiki.
Model theory provides insights into the foundations of mathematical reasoning and logic.
Teoria modeli bada, jak różne języki mogą reprezentować te same pojęcia matematyczne.
Model theory explores how different languages can represent the same concepts in mathematics.
Rozwijana jest również teoria modeli liniowych dla tego przypadku.
The theory of of linear models for the uplift case is also being developed.
Najczęściej poruszanymi tematami seminarium są: teoria zbiorów i teoria modeli w ich filozoficznych związkach, filozofia matematyki w ogóle, formalizacja teorii fizycznych, takich jak szczególna i ogólna teoria względności w różnych ramach logicznych.
The most often occurring topics of the seminar are set theory and model theory in their philosophical connections, philosophy of mathematics in general, formalization of physical theories, such as special and general relativity within different logical frameworks.
Podstawy i filozofia matematyki (teoria mnogości, teoria modeli, teoriomnogościowe aspekty analizy funkcjonalnej i topologii, podstawy arytmetyki)
Foundations and philosophy of mathematics (set theory, model theory, set theory aspects of functional analysis and topology, foundation of arithmetic)
Przedmioty jego badań to logika w informatyce (teoria modeli, więzy mnogościowe, równania na słowach, prawa zero-jedynkowe, logiki z dwiema zmiennymi) i programowanie w logice i teoria języków programowania (analiza statystyczna, typy, bezpieczeństwo).
His research extends to logic in computer science (model theory, set constraints, equations between terms, zero-one laws, logic with two variables) and programming logic and the theory of programming languages (statistical analysis, types, security).
Andere resultaten
Badacze zajmujący się teorią modeli mogą analizować, jak dwa różne systemy odnoszą się do siebie.
Researchers in model theory may analyze how two different systems relate to each other.
Ramy teoretyczne wyznaczają teoria innowacyjnych modeli biznesu i tworzenia wartości.
Theoretical framework has been provided by the theory of innovative business models and value creation.
Ta druga teoria jest źródłem dobrych modeli zarówno dla grawitacyjnego, jak i relatywistycznego spojrzenia na wszechświat.
This second theory provides good models for both gravitational and relativistic views of the universe.
Jego przełomowa teoria może wstrząsnąć fundamentami obecnych modeli zmian klimatu.
His groundbreaking theory may shake the foundations of current climate change models.
Teoria cechowania jest niezbędna do tworzenia modeli oddziaływań cząstek elementarnych.
Gauge theory is essential for creating models of elementary particle interactions.
Teoria racjonalnego wyboru stanowi podstawę wielu modeli ekonomicznych i prognoz.
Rational choice theory serves as a foundation for many economic models and predictions.
Teoria aktora-sieci rekonstruuje w zamian praktyki budowania modeli czy łańcuchów krążącej referencji w laboratoriach.
Instead, actor-network theory reconstructs the practices of model building and chains of circulating reference in laboratories.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.