What is the translation of " МАТЕМАТИЧКОЈ ЛОГИЦИ " in English?

• mathematical logic

Examples of using Математичкој логици in Serbian and their translations into English

Радио је на математичкој логици и теорији класа поља.
He worked in mathematical logic and class field theory.

Од Фрегеа до Гедела: Изворна књига у математичкој логици, 1879-1931.
From Frege to Godel- A Sourcebook in Mathematical Logic, 18791931.

У математичкој логици, литерал је атомичка формула( атом) или њена негација.
In mathematical logic, a literal is an atomic formula(atom) or its negation.

Од Фрегеа до Гедела: Изворна књига у математичкој логици, 1879-1931.
From Frege to Gödel: A Source Book in Mathematical Logic, 1879- 1931.

Геделова прва теорема о непотпуности је вероватно најславнији резултат у математичкој логици.
Gödel's first incompleteness theorem is perhaps the most celebrated result in mathematical logic.

У математичкој логици, литерал је атомичка формула( атом) или њена негација.
Literal(mathematical logic)- In mathematical logic, a literal is an atomic formula(atom) or its negation.

Аксиоматска семантика је приступ заснован на математичкој логици за доказивање исправности рачунарских програма.
Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs.

У информатици и математичкој логици, аутомат бесконачног стабла је коначна машина која се бави структуром бесконачног стабла.
In computer science and mathematical logic, an infinite-tree automaton is a state machine that deals with infinite tree structures.

Аксиоматска семантика је једна врста приступа заснована на математичкој логици која служи за доказивање коректности рачунарског програма.
Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs.

У математичкој логици, Геделове теореме о непотпуности су две чувене теореме о ограничењима формалног система, које је доказао Курт Гедел, 1931. године.
In mathematical logic, Gödels incompleteness theorems are two celebrated theorems proved by Kurt Gödel in 1931….

Он је дао значајан допринос теорији коначних група, теорији чворова, математичкој логици( теорији скупова и теорији аутомата) и теорији игара( као и њеној пракси).
He has made significant contributions to the theory of finite groups, the theory of knots, mathematical logic(both set theory and automata theory) and the theory of games(and also to its practice).

У математичкој логици, Геделове теореме о непотпуности су две чувене теореме о ограничењима формалног система, које је доказао Курт Гедел, 1931. године.
In mathematical logic, Gödels incompleteness theorems are two celebrated theorems proven by Kurt Gödel in 1931….

Примитивне рекурзивне функције су блиско повезане са математичким финитизмом, и користе се у контекстима у математичкој логици у којој се жели посебно конструктиван систем.
The primitive recursive functions are closely related to mathematical finitism, and are used in several contexts in mathematical logic where a particularly constructive system is desired.

Теоретичари рекурзије у математичкој логици често проучавају теорију релативне израчунљивости, смањење појмова и степена структура описаних у овом чланку.
Recursion theorists in mathematical logic often study the theory of relative computability, reducibility notions and degree structures described in this article.

У математичкој логици и рачунарству, Клинијево затворење( или Клинијева звезда) је унарна операција, на скуповима ниски или на скуповима симбола или карактера.
In mathematical logic and computer science, the Kleene star(or Kleene operator or Kleene closure) is a unary operation, either on sets of strings or on sets of symbols or characters.

У математичкој логици, теорема дедукције гласи да ако се формула F може дедуковати из E, онда се импликација E→ F може показати( то јест дедуковати из празног скупа).
In mathematical logic, the deduction theorem states that if a formula F is deducible from E then the implication E→ F is demonstrable(i.e. it is"deducible" from the empty set).

У математичкој логици, аритметичка хијерархија, аритметичка хијерархија или Клин-Мостовскова хијерархија класификује одређене скупове на основу сложености формула које их дефинишу.
In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene-Mostowski hierarchy classifies certain sets based on the complexity of formulas that define them.

У математичкој логици, Пеано аксиоми такође познати као Дедекинд-Пеано аксиоми или Пеано постулати, су аксиоми за природне бројеве које је у 19 веку издао Ђузепе Пеано, италијански математичар.
In mathematical logic, the Peano axioms, also known as the Dedekind- Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano.

ЛитератураП. Јаничић: Математичка логика у рачунарству, Математички факултет, Београд, 2009 Д.
Janicic: Mathematical logic in computer science, Faculty of Mathematics, Beograd, 2009.

Увод у математичку логику.
Introduction to mathematical logic.

Математичка логика, скупови, функције.
Mathematical logic, sets, functions etc.

Неки од примера су математичка логика, класична музика, археологија и политичко организовање радника.
Examples include mathematical logic, classical music, and archaeology; and political organizing among working people.

Matematička logika i primena principa rezolucije.
Mathematical logic and applications of resolution principle.

Услов: Увод у математичку логику Циљ предмета: Стицање основних знања из дискретне математике.
Attendance prerequisites: Introduction to Mathematical Logic Course aims: Acquisition of general knowledge in discrete mathematics.

Не треба се служити математичком логиком.
No need to apply mathematical logic.

Један је од оснивача модерне математичке логике и аналитичке филозофије.
He helped found both modern mathematical logic and analytic philosophy.

Странице у категорији„ Математичка логика“.
Pages in category"Mathematical logic".

Упознат је са основним теоремама из теорије скупова и математичке логике.
The students know fundamental theorems of Set theory and Mathematical Logic.

Докторат из алгебре, теорије бројева и математичке логике.
Algebra, theory of numbers and mathematical logic;

Језик за кореспонденцију са ставом за математичку логику.[ 4].
A language with a clear correspondence to mathematical logic.[4].