Przestudiuj logikę zdań jako pierwsze spotkanie z logiką matematyczną. Obejmuje to tabele prawdy oraz użycie „i”, „lub” i „nie” w logice symbolicznej. Ten poziom nauki powinien również obejmować logikę pierwszego rzędu, która dodaje do języka kwantyfikatory, takie jak „dla wszystkich” i „istnieje”.
Kontynuuj z teorią dowodu, która jest nauką o symbolicznej manipulacji. Będzie to wymagało języka formalnego składającego się z zestawu symboli i składni. Elementy te składają się na formuły, które służą do budowania aksjomatów dla teorii tego języka.
Przejdź do teorii modeli pierwszego rzędu, która opisuje struktury spełniające zbiór aksjomatów. Wzory logiczne służą do określenia zbiorów, które można zdefiniować w danej konstrukcji.
Rozpocznij studium teorii mnogości. Powinno to obejmować bardzo duże nieskończone zestawy, aby pokazać, że „zestaw” jest pojęciem niejednoznacznym.
Zajmij się teraz teorią rekurencji. To pole jest badaniem przynależności do danego zbioru poprzez określenie, co można obliczyć na temat tego zbioru w skończonej liczbie kroków. Teoria rekurencji obejmuje takie koncepcje, jak struktury stopni, idee dotyczące redukowalności i względnej obliczalności.
Ten artykuł został napisany przez profesjonalnego pisarza, zredagowany i sprawdzony pod kątem faktów za pomocą wielopunktowego systemu audytu, w celu zapewnienia naszym czytelnikom tylko najlepszych informacji. Aby przesłać swoje pytania lub pomysły lub po prostu dowiedzieć się więcej, odwiedź naszą stronę o nas: link poniżej.