Ósma, międzynarodowa konferencja nt. obliczalności i złożoności w analizie, Kapsztad, RPA
31 Stycznia 2011 - 31 Stycznia 2011
Republika Południowej Afryki
W dniach 31 stycznia - 4 lutego w Kapsztadzie, RPA, odbędzie się ósma, międzynarodowa konferencja nt. obliczalności i złożoności w analizie.
Teoria obliczalności i złożoności to dwa główne obszary badań logiki matematycznej i informatyki teoretycznej. Ten pierwszy obejmuje zasadniczo badanie ograniczeń i możliwości komputerów. Teoria złożoności obliczeniowej natomiast zapewnia ramy do poznawania kosztów rozwiązywania problemów obliczeniowych mierzonych zapotrzebowaniem na zasoby, takie jak czas i przestrzeń.
Klasyczne podejście w tych dwóch obszarach polega na traktowaniu algorytmów, jako funkcjonujących na skończonych ciągach symboli ze skończonego alfabetu. Takie ciągi mogą przedstawiać rozmaite obiekty dyskretne, np. liczby całkowite czy wyrażenia algebraiczne, ale nie mogą reprezentować ogólnych, rzeczywistych czy złożonych liczb, chyba że zostaną zaokrąglone.
Większość modeli matematycznych w fizyce i inżynierii opiera się jednak na koncepcji liczb rzeczywistych. Dlatego potrzebne są teorie obliczeniowości i złożoności w odniesieniu do liczb rzeczywistych oraz bardziej ogólnych ciągłych struktur danych. Pomimo ogromnego postępu w ostatnich latach, wiele ważnych, podstawowych problemów nie zostało jeszcze zbadanych i przypuszczalnie wiele niespodziewanych i zaskakujących wyników czeka na odkrycie.
Naukowcy zajmujący się dziedziną obliczeń na danych o wartościach rzeczywistych wywodzą się z różnych dyscyplin, takich jak informatyka teoretyczna, teoria domen, logika, matematyka konstruktywna, arytmetyka informatyczna, matematyka liczbowa i różne gałęzie analizy. Konferencja będzie okazją dla osób z tak różnych dziedzin do spotkania się, zaprezentowania prowadzonych prac oraz wymiany pomysłów i wiedzy.Więcej informacji: http://cca-net.de/cca2011/(odnośnik otworzy się w nowym oknie)
Teoria obliczalności i złożoności to dwa główne obszary badań logiki matematycznej i informatyki teoretycznej. Ten pierwszy obejmuje zasadniczo badanie ograniczeń i możliwości komputerów. Teoria złożoności obliczeniowej natomiast zapewnia ramy do poznawania kosztów rozwiązywania problemów obliczeniowych mierzonych zapotrzebowaniem na zasoby, takie jak czas i przestrzeń.
Klasyczne podejście w tych dwóch obszarach polega na traktowaniu algorytmów, jako funkcjonujących na skończonych ciągach symboli ze skończonego alfabetu. Takie ciągi mogą przedstawiać rozmaite obiekty dyskretne, np. liczby całkowite czy wyrażenia algebraiczne, ale nie mogą reprezentować ogólnych, rzeczywistych czy złożonych liczb, chyba że zostaną zaokrąglone.
Większość modeli matematycznych w fizyce i inżynierii opiera się jednak na koncepcji liczb rzeczywistych. Dlatego potrzebne są teorie obliczeniowości i złożoności w odniesieniu do liczb rzeczywistych oraz bardziej ogólnych ciągłych struktur danych. Pomimo ogromnego postępu w ostatnich latach, wiele ważnych, podstawowych problemów nie zostało jeszcze zbadanych i przypuszczalnie wiele niespodziewanych i zaskakujących wyników czeka na odkrycie.
Naukowcy zajmujący się dziedziną obliczeń na danych o wartościach rzeczywistych wywodzą się z różnych dyscyplin, takich jak informatyka teoretyczna, teoria domen, logika, matematyka konstruktywna, arytmetyka informatyczna, matematyka liczbowa i różne gałęzie analizy. Konferencja będzie okazją dla osób z tak różnych dziedzin do spotkania się, zaprezentowania prowadzonych prac oraz wymiany pomysłów i wiedzy.Więcej informacji: http://cca-net.de/cca2011/(odnośnik otworzy się w nowym oknie)