Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Czwartek, 31 maja 2012
Petronia, Bożysława, Ernestyna, Teodor
 1891: budowa Kolei Transsyberyjskiej
1970: zagłada miasta Yungay w Peru
WHO: Dzień bez Papierosa
Nowe publikacje
Trzecie międzynarodowe warsztaty nt. logiki klasycznej i obliczeń, Brno, Czechy
Dodano:
|17 Sie 2010|, 2010 17:12
|
|
|
W dniach 21-22 sierpnia 2010 r. w Brnie, Czechy, odbędą się trzecie, międzynarodowe warsztaty nt. logiki klasycznej i obliczeń.
Wydarzenie skoncentruje się na wzajemnych zależnościach między ekstrakcją programu z konstruktywnych dowodów a informatyką. Inne powiązane wydarzenie poświęcone będzie najnowszym osiągnięciom w stosowanej teorii dowodu i matematyce konstruktywnej. Dziedziny te łączą wspólne zainteresowania, a konkretnie badanie treści obliczeniowej zasad matematycznych i logicznych.
Możliwość ekstrakcji użytecznej treści obliczeniowej z klasycznych dowodów zaczęła zyskiwać na popularności w latach 90. XX w. W owym czasie odkryto, że interpretacje dowodów w oparciu o twierdzenia Goedela i Kreisela mogą dostarczyć nowych, nietrywialnych algorytmów i wyników liczbowych, a odpowiedniość Curry'ego-Howarda może zostać rozszerzona na logikę klasyczną poprzez koncepcje programowania, takie jak kontynuacje i operatory kontrolne.
Celem warsztatów jest wsparcie owocnej wymiany pomysłów między rozmaitymi kierunkami badań naukowych w zakresie logiki klasycznej i obliczeń. Zaplanowano następujące tematy:
- rachunki dostosowane do reprezentowania logiki klasycznej;
- projektowanie języków programowania inspirowanych logiką klasyczną;
- cięcie/eliminacja w systemach klasycznych;
- reprezentacja dowodu i poszukiwanie dowodu dla logiki klasycznej;
- translacje dowodów klasycznych na intuicjonistyczne;
- konstruktywna interpretacja niekonstruktywnych zasad;
- ekstrakcja świadka z dowodów klasycznych;
- semantyka konstruktywna dla logiki klasycznej (np. semantyka gier);
- studia przypadku (dla któregokolwiek z powyższych punktów).
Za: CORDIS
Czy wiesz że...?
wersja BETA
Logika modalna teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5.
pełny tekst
Prawa logiczne - twierdzenia logiki, zdania prawdziwe w każdym modelu, tj. przy każdej interpretacji występujących w nich stałych pozalogicznych; szczególnie ważną funkcją praw logicznych jest to, że na ich podstawie orzeka się wynikanie logiczne jednych zdań z drugich; prawa logiczne są podstawą (lub schematami) operacji dokonywanych w logice (dowodzenia, wnioskowania, uzasadniania). Praw logiki klasycznej jest nieskończenie wiele. Wybiera się często dla przykładu jedynie nieliczne spośród praw, które z różnych względów historycznych i naukotwórczych są najczęściej wyróżniane w opracowaniach podręcznikowych:
pełny tekst
Wojciech Buszkowski (ur. 1950), polski matematyk, specjalista w dziedzinie logiki matematycznej i jej zastosowań, lingwistyki matematycznej, logiki obliczeniowej i podstaw informatyki.
pełny tekst
Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".
|
|
|
^ |
|
 |
|
Komentarze: brak |
|
Powered by
phpBB © 2000, 2002, 2005, 2007 phpBB Group
|
Do druku