Wyszukiwarka projektów

• Słowa kluczowe: nonstandard models ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 5 projektów spełniających kryteria wyszukiwania:

1. 1. Formalne teorie prawdy i niestandardowe modele arytmetyki

   Kierownik: Michał Tomasz Godziszewski

   Uniwersytet Warszawski, Wydział Filozofii i Socjologii

   Konkurs: PRELUDIUM 7, panel: HS1

2. 2. Rozwinięcie i zastosowanie narzędzi do rachunków pętlowych oraz fenomenologia modeli niestandardowych w akceleratorach n…

   Kierownik: prof. Janusz Ludwik Gluza

   UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

   Konkurs: OPUS 6, panel: ST2

3. 3. Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki

   Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 25, panel: ST1

4. 4. Analiza matematyczna modeli hydrodynamicznych - nieliniowości, nielokalność, obszar, skale.

   Kierownik: dr hab. Aneta Wróblewska-Kamińska

   Instytut Matematyczny Polskiej Akademii Nauk

   Konkurs: SONATA BIS 10, panel: ST1

5. 5. Miary złożoności strukturalnej dla teorii podstaw matematyki

   Kierownik: dr Mateusz Zbigniew Łełyk

   Uniwersytet Warszawski

   Konkurs: WEAVE-UNISONO, panel: HS1