Brak relacji po tej stronie

logika matematyczna 1

rzeczownikdomena: myślenierejestr: specj.

Słowosieć [ver.5.0]

Polski

Definicja

dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.

hiperonimia

dział matematyki 1

rzeczownik

brak danych

meronimia: część

teoria modeli 1

rzeczownik

dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi.

teoria mnogości 1

rzeczownik

dział matematyki, a zarazem logiki matematycznej zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku.

teoria rekursji 1

rzeczownik

dział logiki matematycznej, którego początki sięgają lat trzydziestych XX wieku.

teoria dowodu 1

rzeczownik

dział logiki matematycznej zajmujący się analizą pojęcia dowodu oraz możliwych sposobów używania go w rozważaniach matematycznych.

logika algebraiczna 1

rzeczownik

holonimia: część

teoria modeli 1

rzeczownik

dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi.

teoria mnogości 1

rzeczownik

dział matematyki, a zarazem logiki matematycznej zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku.

teoria rekursji 1

rzeczownik

dział logiki matematycznej, którego początki sięgają lat trzydziestych XX wieku.

teoria dowodu 1

rzeczownik

dział logiki matematycznej zajmujący się analizą pojęcia dowodu oraz możliwych sposobów używania go w rozważaniach matematycznych.

logika algebraiczna 1

rzeczownik

Projekt współfinansowany ze środków europejskich