|
Wyszukiwanie:
|
|
|
Sortowanie:
|
|
|
| Bibliografia Publikacji Pracowników PK (50021) | Inne bazy bibliograficzne (15019)| Architektura i Sztuka Krakowa (2298) | | Historia i Ludzie PK – baza w przygotowaniu (0) | Konferencje Krynickie - Referaty (7776)| LXVII Konferencja Naukowa, 2022 (41) | | LXVI Konferencja Naukowa, 2020 (67) | | LXV Konferencja Naukowa, 2019 (58) | | LXIV Konferencja Naukowa, 2018 (139) | | LXIII Konferencja Naukowa, 2017 (136) | | LXII Konferencja Naukowa, 2016 (150) | | LXI Konferencja Naukowa, 2015 (145) | | LX Konferencja Naukowa, 2014 (190) | | LIX Konferencja Naukowa, 2013 (110) | | LVIII Konferencja Naukowa, 2012 (168) | | LVII Konferencja Naukowa, 2011 (111) | | LVI Konferencja Naukowa, 2010 (130) | | LV Konferencja Naukowa, 2009 (108) | | LIV Konferencja Naukowa, 2008 (161) | | LIII Konferencja Naukowa, 2007 (161) | | LII Konferencja Naukowa, 2006 (123) | | LI Konferencja Naukowa, 2005 (113) | | L Konferencja Naukowa, 2004 (165) | | XLIX Konferencja Naukowa, 2003 (125) | | XLVIII Konferencja Naukowa, 2002 (137) | | XLVII Konferencja Naukowa, 2001 (154) | | XLVI Konferencja Naukowa, 2000 (140) | | XLV Konferencja Naukowa, 1999 (161) | | XLIV Konferencja Naukowa, 1998 (140) | | XLIII Konferencja Naukowa, 1997 (153) | | XLII Konferencja Naukowa, 1996 (164) | | XLI Konferencja Naukowa, 1995 (173) | | XL Konferencja Naukowa, 1994 (151) | | XXXIX Konferencja Naukowa, 1993 (148) | | XXXVIII Konferencja Naukowa, 1992 (117) | | XXXVII Konferencja Naukowa, 1991 (125) | | XXXVI Konferencja Naukowa, 1990 (109) | | XXXV Konferencja Naukowa, 1989 (150) | | XXXIV Konferencja Naukowa, 1988 (177) | | XXXIII Konferencja Naukowa, 1987 (195) | | XXXII Konferencja Naukowa, 1986 (190) | | XXXI Konferencja Naukowa, 1985 (180) | | XXX Konferencja Naukowa, 1984 (143) | | XXIX Konferencja Naukowa, 1983 (141) | | XXVIII Konferencja Naukowa, 1982 (120) | | XXVII Konferencja Naukowa, 1981 (160) | | XXVI Konferencja Naukowa, 1980 (169) | | XXV Konferencja Naukowa, 1979 (177) | | XXIV Konferencja Naukowa, 1978 (143) | | XXIII Konferencja Naukowa, 1977 (120) | | XXII Konferencja Naukowa, 1976 (143) | | XXI Konferencja Naukowa, 1975 (132) | | XX Konferencja Naukowa, 1974 (151) | | XIX Konferencja Naukowa, 1973 (131) | | XVIII Konferencja Naukowa, 1972 (112) | | XVII Konferencja Naukowa, 1971 (120) | | XVI Konferencja Naukowa, 1970 (116) | | XV Konferencja Naukowa, 1969 (75) | | XIV Konferencja Naukowa, 1968 (114) | | XIII Konferencja Naukowa, 1967 (100) | | XII Konferencja Naukowa, 1966 (106) | | XI Konferencja Naukowa, 1965 (81) |
| | Niepublikowane prace naukowe pracowników PK (1994-2012) (4941) |
|
Typy zasobów
Jednostki PK
Tematyka bazy Historia i Ludzie PK
Opcje
|
| Wariant tytułu | | Finite axiomatization for small matrices and related problems | | Rok ukończenia pracy | | 2010 | | Jednostka wykonująca | | Politechnika Krakowska Instytut Matematyki |
| Rodzaj pracy | | naukowa | | Klasyfikacja PKT | | [230900] Logika matematyczna. Podstawy matematyki. Teoria mnogości
[230000] Matematyka | | Słowa kluczowe autorskie | | Matryca logiczna
Skończona aksjomatyzacja
Logical matrix
Finite axiomatization
| | Abstrakt | | Plakat w języku angielskim prezentowany podczas 13. Warsztatów dla Młodych Matematyków: Logika i Podstwy Matematyki, Kraków, 19-25.09.2010. Na plakacie wyjaśniono pojęcie matrycy logicznej i poparto ... więcejPlakat w języku angielskim prezentowany podczas 13. Warsztatów dla Młodych Matematyków: Logika i Podstwy Matematyki, Kraków, 19-25.09.2010. Na plakacie wyjaśniono pojęcie matrycy logicznej i poparto je przykładami. Przedstawiono problem skończonej aksjomatyzowalności i skończonej bazy oraz przykłady matryc ilustrujących wzajemne zależności lub ich brak. Przedstawiono też zagadnienie przenoszenia sie własności skończonej aksjomatyzacji przez termalną równoważność. Plakat składał się z dwóch części, każda formatu A0. Artykuł o treści plakatu jest w przygotowaniu.
A poster in English presenting the concept of a logical matrix, examples and the finite axiomatization problem in three versions: finite axiomatization of tautologies of a matrix, given a finite set of ... więcejA poster in English presenting the concept of a logical matrix, examples and the finite axiomatization problem in three versions: finite axiomatization of tautologies of a matrix, given a finite set of its valid rules; finite basis of valid rules allowing to derive all valid rules; and finite set of valid rules allowing to derive all tautologies. Examples illustrating these concepts are given and conterexamples to some implications. An open problem of preservation of a finite basis and finite axiomatization under term-eqivalence is presented. An article explaning the content of the poster is under preparation. |
|