Примеры использования Математическая логика на Русском языке и их переводы на Английский язык
{-}
-
Official
-
Colloquial
Математическая логика.
Название модуля: Математическая логика и дискретная математика.
Module name Math Logics and Discrete Mathematics.Математическая логика и теория.
Mathematics logic and set theory.Дисциплины Математическая логика и дискретная математика.
Classes, if applicable Math Logics and Discrete Mathematics.Математическая логика и теория алгоритмов.
Mathematical logics and theory of algorithms.Научно-исследовательский институт:« Дискретная математика и математическая логика».
Research Institute:"Discrete mathematics and mathematical logic.Математическая логика и теория алгоритмов.
Mathematical logic and the theory of algorithms.Ключевые слова: математические фокусы,игральные карты, математическая логика.
Keywords: Серия« Математическая логика и основания математики».
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik.Ключевые слова: постановка целей, разработка учебных курсов,высшее образование, математическая логика.
Key words: setting of aims, elaboration of learning courses,higher education, mathematical logic.Математическая логика Л. Беклемишев, Ю. Саватеев, В. Шехтман.
Mathematical logic I. Beklemishev, Yu. Savateev, V. Shehtman.Философия, психология, педагогика, методика преподавания математики,высшая математика, математическая логика.
Philosophy, Psychology, Pedagogy, Methods of teaching Mathematics,Higher Mathematics, Math logics.Математическая логика» Куайна также во многом основана на Штрихе Шеффера.
Quine's Mathematical Logic also made much of the Sheffer stroke.Ключевые слова: программирование, математическая логика, обучение, бакалавр, рынок труда, IТ- компания, компетенции.
Keywords: programming, mathematical logic, teaching, bachelor, labor market, IT companies, competencies.Бенеш учился у Джона Джорджа Кемени и получил степень доктора технических наук в Принстонском университете в 1953 году по теме« Математическая логика».
He studied under John Kemeny and gained a doctorate in mathematics at Princeton University(1953) Примерами могут служить математическая логика, классическая музыка, археология и политические организации среди трудящихся.
Examples include mathematical logic, classical music, and archaeology; and political organizing among working people.Если в белковом коде присутствуют и используются сугубо ментальные конструкции такие, как текст, чтение, узнавание,решение, математическая логика и т. д., то это естественное основание для принятия мировоззренческого положения: геном и белковый код создан мыслью, а сам геном разумен.
If the code is present in protein and are used purely mental constructions such, as text, reading, recognition,solution, mathematical logic, etc., What is the natural basis for ideological situation: gene and protein code created the thought, and the genome is reasonable.Эти интересы привели в 1959 году к созданию журнала« Современное использование логики в праве»( Modern Usesof Logic in Law) в качестве площадки, где публикуются статьи о применении таких методов, как математическая логика, инженерия, статистика и т. д. для изучения и развития области права.
These interests led in 1959 to the founding a journal, Modern Uses of Фундаментальная подготовка прикладного математика достигается освоением таких классических разделов математики как математический идискретный анализ, математическая логика и теория алгоритмов, дифференциальные уравнения, теория функции комплексных переменных, функциональный анализ, теория вероятностей, случайных процессов и математическая статистика.
Findamental training of applied mathematician is achieved through mastering of classical В департаменте ведутся исследования по различным современным научным направлениям, в число которых входят: анализ и моделирование бизнес процессов, архитектуры вычислительных систем,базы данных, математическая логика, математическое моделирование, машинное обучение и искусственный интеллект, нечеткая логика, процессно- ориентированные информационные системы, сети Петри, системное программирование, формальные модели распределенных систем и др.
The School also conducts research on various contemporary scientific areas: the analysis and modelling of business processes; the architecture of computational systems;databases; mathematical logic; Основные труды в области математическая логики и теория полей классов.
He worked in mathematical logic and class field theory.Введение в математическую логику- М.
Leading into mathematical logics.- M.Маккарти отстаивал использование математической логики для искусственного интеллекта.
McCarthy championed mathematical logic for artificial intelligence.Мендельсон Э. Введение в математическую логику.- М. Наука, 1971.
Elliot Mendelson, Introduction to Mathematical Logic, second edition, 1979.Основные труды по теории множеств, математической логике, теории алгоритмов и теории групп.
Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms.Его исследовательские интересы включают математическую логику, теорию вычислимости, теорию множеств, алгебру и теорию операторов.
His research interests include Mathematical logic, computability theory, set theory, Algebra and operator theory.Автор более 50 работ в области математической логики и теории алгоритмов.
Igor Lavrov is the author of more then 50 works in mathematical logic and algorithms theory.Эта работа внесла фундаментальный вклад в математическую логику.
This work led to fundamental contributions to mathematical logic.При Венском университете существует Исследовательский центр по математической логике имени Геделя.
The University of Vienna hosts the Kurt Gödel Research Center for Mathematical Logic.Введение в математическую логику.
Introduction to Mathematical Logic.
