mathematical logic

His is also author/editor of several books in mathematical logic and computer science.

Jego jest również autor/autorka/redaktor kilku książek w logice matematycznej i informatyce.

Thus we see how complementary the two areas of mathematical logic have been.

Stąd widzimy jak uzupełniający dwie dziedziny logiki matematycznej były.

The development of the Actor model has an interesting relationship to mathematical logic.

Rozwój Aktora model ma interesujące pokrewieństwo z logiką matematyczną.

The program was pursued by many researchers in mathematical logic.

Program był ścigany przez wielu pracowników naukowych w logice matematycznej.

He was acknowledged as a world leader in the field of mathematical logic.

Został zauważony jako światowy lider w dziedzienie logiki matematycznej.

As a matter of mathematical logic, no code can achieve all three.

Jako kwestia logiki matematycznej, żaden kod nie może osiągać wszystkiego trzy.

His interests started primarily in analysis but moved into mathematical logic.

Jego zainteresowania zaczęły się pierwotnie w analizie ale ruszyły się do logiki matematycznej.

Mathematics can play a role in this stage too, for example through the use of mathematical logic.

Matematyka może odgrywać rolę w tym etapie też, na przykład przez wykorzystanie logiki matematycznej.

It covers the field of mathematical logic and its applications.

To pokryje pole logiki matematycznej i jego podań.

The ground representation is a standard tool in mathematical logic.

Przedstawicielstwo ziemi jest standardowym narzędziem w logice matematycznej.

In recent years he has been working on mathematical logic and the foundations of mathematics.

W ostatnich latach zajmował się logiką matematyczną i fundamentami matematyki.

It is also equivalent to the formal systems used in the field of mathematical logic.

To odpowiada również formalnym systemom użytym w terenie z logiki matematycznej.

"I had no interest in studying mathematical logic or the logical analysis of language."

"Nie miałem żadnego zainteresowania studiowaniem logiki matematycznej albo logicznej analizy języka."

He has made numerous contributions to mathematical logic and philosophy.

Zarobił liczne udziały w logice matematycznej i filozofii.

He worked in mathematical logic and class field theory.

Pracował w logice matematycznej i teorii klasy pola.

His academic work is mainly in mathematical logic and probability theory.

Jego naukowa praca jest głównie w logice matematycznej i teorii prawdopodobieństwa.

He specializes in mathematical logic, particularly set theory, and theoretical computer science.

On specjalizuje się w logice matematycznej, szczególnie teoria zbiorów, i teoretyczna informatyka.

Now we have an interesting result from the field of mathematical logic:

Skoro mamy interesujący wynik od pola logiki matematycznej:

In mathematical logic, this is often done in terms of model theory.

W logice matematycznej, to często jest zrobione pod względem teorii modeli.

His interests include mathematical logic, category theory, and theoretical computer science.

Jego interesy obejmują logikę matematyczną, teoria kategorii, i teoretyczna informatyka.

"I was a very technical philosopher, interested in mathematical logic," he said.

"Byłem bardzo technicznym filozofem, zainteresowany logiką matematyczną," powiedział.

The most important center for mathematical logic was Warsaw.

Najważniejsze centrum dla logiki matematycznej było Warszawą.

It was established in 1950 and publishes articles on mathematical logic.

To zostało założone w 1950 i publikuje artykuły na temat logiki matematycznej.

In mathematical logic, the universe of a structure (or model) is its domain.

W logice matematycznej, wszechświat struktury (albo model) jest jego dziedziną.

Claims were made that these systems were based on mathematical logic.

Twierdzenia zostały złożone że te systemy opierały się na logice matematycznej.