Diclib.com
Λεξικό ChatGPT

Αναζήτηση λεξικού Προσαρμοσμένες λύσεις

Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆

Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

πώς χρησιμοποιείται η λέξη
συχνότητα χρήσης
χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
επιλογές μετάφρασης λέξεων
παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
ετυμολογία

types theory - translation to ρωσικά

CONCEPT IN MATHEMATICAL LOGIC AND COMPUTER SCIENCE

Typed logic; Theory of types; Type Theory; Theory of Types; Type-theoretic; Type (mathematics); System of types; Logical type; Theory of Logical Types; Equality type; Propositional equality; Type (type theory); Draft:Universe (type theory); Universe types; Elementary Theory of the Category of Sets; Universe type; Applications of type theory; List of type theories; Natural language semantics and type theory

types theory

теории типов; теория типизации объектов по определенным свойствам.

theory of types

математика

теория типов

logical type

математика

логический тип

Ορισμός

ИГР ТЕОРИЯ

раздел математики, предметом которого является анализ принятия оптимальных решений в условиях конфликта. Возникнув из задач классической теории вероятностей, теория игр превратилась в самостоятельный раздел в 1945-1955. Таким образом, теория игр - один из новейших разделов математики. Наиболее полное изложение идей и методов теории игр впервые появилось в 1944 в труде Теория игр и экономическое поведение (Theory of Games and Economic Behavior) математика Дж.фон Неймана (1903-1957) и экономиста О.Моргенштерна (1902-1977). Фон Нейман опубликовал несколько работ по теории игр в 1928 и 1935; другим предшественником теории игр по праву считается французский математик Э.Борель (1871-1956). Некоторые фундаментальные идеи были независимо предложены А.Вальдом (1902-1950), заложившим основы нового подхода к статистической теории принятия решений. См. также ВЕРОЯТНОСТЕЙ ТЕОРИЯ
.

Первые приложения теория игр нашла в математической статистике и в решении некоторых возникших во время второй мировой войны военных проблем специального характера. Ее использовали как плодотворный источник теоретических моделей в экономике и социологии. Методы теории игр используются также в теории операций и в линейном программировании.

См. также:

ИГР ТЕОРИЯ: ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ

ИГР ТЕОРИЯ: ИГРЫ С ПОЛНОЙ ИНФОРМАЦИЕЙ

ИГР ТЕОРИЯ: ИГРЫ В НОРМАЛЬНОЙ ФОРМЕ

Εμφάνιση περισσότερων ορισμών

Βικιπαίδεια

Type theory

In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation. A common one is Thierry Coquand's Calculus of Inductive Constructions.

https://en.wikipedia.org/wiki/Type theory

Μετάφραση του &#39types theory&#39 σε Ρωσικά