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
Kongres nt. logiki uniwersalnej, Lizbona, Portugalia
Dodano:
|11 Mar 2010|, 2010 17:12
|
|
|
W dniach 22-25 kwietnia 2010 r. w Lizbonie, Portugalia, odbędzie się trzydniowy kongres nt. logiki uniwersalnej.
Wydarzenie posłuży za platformę do dyskusji nad przyszłością badań naukowych w dziedzinie logiki. Wezmą w nim udział logicy, matematycy, informatycy, naukowcy zajmujący się sztuczną inteligencją, lingwiści, psychologowie i filozofowie.
W czasie kongresu odbędzie się wiele debat i dziesięć specjalnych sesji. Sesje dotyczyć będą:
-schematów logicznych,
-nieklasycznej matematyki,
-logiki algebry abstrakcyjnej,
-paradoksów;
-logiki substrukturalnej,
-logiki kategorialnej,
-negacji,
-logiki multimodalnej,
-logiki parakonsystentnej,
-algebry na potrzeby logiki.
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
Wojciech Buszkowski (ur. 1950), polski matematyk, specjalista w dziedzinie logiki matematycznej i jej zastosowań, lingwistyki matematycznej, logiki obliczeniowej i podstaw informatyki.
pełny tekst
Algebra logiki termin obecnie używany wyłącznie w sensie historycznym. W drugiej połowie XIX i na początku XX w. algebrą logiki nazywano logikę formalną uprawianą na wzór algebry liczb, przy użyciu jej symboli: dodawania, mnożenia i odejmowania, których sens odpowiednio modyfikowano. Osobami które zapoczątkowały takie podejścia do logiki byłi: G. Boole i A. de Morgan. Algebra logiki była jednym z nurtów, z których wyrosła współczesna logika formalna.
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