INSTYTUT MATEMATYKI
Uniwersytet Śląski
40-007 Katowice, ul. Bankowa 14

tel/fax (032) 2582976
e-mail:im@ux2.math.us.edu.pl

Logika Dla Informatyków


Wykład prowadzony w latach 2000 - 2009 dla studentów trzeciego roku  fizyki informatycznej. Z powodu zmian organizacyjnych wykład nie będzie kontynuowany. Zamieszczone tutaj materiały mają charakter brudnopisów, są nie do końca opracowane. Udostępniam jej na zasadach copyleft [http://pl.wikipedia.org/wiki/Copyleft]. W zamierzeniu miał to być wykład omawiający logikę jako dycypline naukową zajmującą się formami poprawnego myślenia, metodologią nauk oraz zagadnieniami logicznymi związanymi z retoryką stosowalną w teorii gier.  Rok 2009 jest ostatnim rokiem prowadzenia tego wykładu dla fizyki informatycznej, a więc być może w przyszłości  niektóre zagadnienia poruszane w tym wykładzie zostaną zmodyfikowane... W skład tego wykładu wchodzą następujące teksty opracowane przez  wykładowcę:

   (1) - Logika: pierwsza myśl, dobry przykład, właściwości duszy, zdrowy rozsądek [ Wykład pierwszy:pdf ];
   (2) - Błędy systemowe: rozważania o niezawodności [ Wykład drugi:pdf ];
   (3) - Wiedza: teorie, komunikowanie, przekazywanie informacji [ Wykład trzeci:pdf ];
   (4) - Prawda: niesprzeczność, użyteczność, spełnianie, zgodność [ Wykład czwarty:pdf ];
   (5) - Niesprzeczność: niezbędna właściwość prawdy [ Wykład piąty:pdf ];
   (6) - Klasyczny rachunek zdań: prawda oraz niesprzeczność na przykładzie KRZ [ Wykład szósty:pdf ];
   (7) - Teoria zbiorów: Czy aksjomaty ZF są prawdziwe [ Wykład siódmy:pdf ];
   (8) - Testowanie prawdy: właściwe używanie pojęć, słów, itd. [ Wykład ósmy:pdf ].

Dodatkowo, wykładowca wraz ze studentami popełnił następujące dialogi, które należy traktować jako ćwiczenia z erystyki:

(1) [ Podobieństwa i różnice w rozumieniu duszy:pdf ]
(2) [ Byt, niebyt, a może nieuctwo:pdf ];
(3) [ Testowanie mądrości:pdf ];
(4) [ Reguły Titiusa-Bodego:pdf ];
(5) [ Dusza a niesprzeczność:pdf ];
(6) [ Testowanie pojęć:pdf ];
(7) [ Teoria blondynki:pdf ];
(8) [ Niesprzeczność a prawda:pdf ];
(9) [ Sprzeczność pierwowzorem piekła:pdf ];
(10) [ Jak testować szowinizm:pdf ];
(11) [ Paradoksy odrzucane przez sprzeczność:pdf ];
(12) [ Fantazje i zagrożenia:pdf ];
(13) [ Algorytmy dociekania prawdy:pdf ];
(14) [ Logika polityki:pdf ];
(15) [ Samochody a narkotyki:pdf ];
(16) [ Analogie płynące z teorii zbiorów:pdf ];
(17) [ Logika a geometria:pdf ];
(18) [ Nazwy źle używane:pdf ];
(20) [ Retoryka a logika:pdf ];
(21) [ Komunikowanie a logika:pdf ];
(22) [ Podstępni fizycy:pdf ];
(23) [ Wiara w autorytety:pdf ];
(24) [ Wady prawa:pdf ];
(25) [ Jakie właściwości duszy może mieć maszyna:pdf ];
(26) [ Dyskusja lub dialog na wykładach:pdf ];
(27) [ Algorytmy dociekania prawdy:pdf ];
(29) [ Czy komputery mogą zmienić tradycyjne poglądy na logikę:pdf  ];
(30) [ Fakty prasowe, a teorie akademickie:pdf ];
(31) [ Dylemat wspólnych zasobów, a bajki:pdf ];
(32) [ Logika instynktu:pdf ];
(33) [ Podpis:pdf ];
(34) [ Obiegowe opinie:pdf ];
(35) [ Niewidzialna ręka rynku:pdf ];
(38) [ Zasady dyskusji:pdf ];
(39) [ Doskonała metoda:pdf ];
(40) [ Teoria zasad:pdf ];
(42) [ Tworzenie słownika:pdf ];
(43) [ Zdrowy rozsądek:pdf ].
   Dialogi, to raczej kolekcja pytań, na które należałoby odpowiedzieć przy okazji wykładów z logiki. Należy je traktować jako ćwiczenia z erystki: 

Erystyka – sztuka doprowadzania sporów do korzystnego rozwiązania bez względu na prawdę materialną. Słowo pochodzi z klasycznego języka greckiego - eristikós czyli kłótliwy, od éris oznaczający kłótnię, spór, walkę oraz imię bogini niezgody, córki Nocy, towarzyszki Aresa na polu bitwy, będącej uosobieniem waśni, niezgody i kłótni.

   Projekt [ kon.pdf,  kon.dvi ] to tekst wyjściowy do ćwiczeń z zakresu logiki prawa. Ćwiczenia takie  polegają na zgłoszeniu I). Kilku, II). Kilkunastu lub III). Kilkudziesięciu poprawek wraz z uzadaniemi. Są to ćwiczenia dla tych studentów, którzy rzadko bywają na wykładach. Inną formą proponowanych ćwiczeń  (odrabiania nieobecności na wykładach), to: IV).  Spisanie dialogu  nr 19: Budowa grafu konkurencji w grach zespołowych; na podstawie dowodu twierdzenia Turana zamieszonego w wykładzie [ y.pdf  ]; V).  Spisanie dialogu  nr 36: Konsekwencje twierdzenia Arrowa; na podstawie pracy magisterskiej [ Liszka.pdf  ]. Także modyfikacje pozostałych dialogów mogą być podobynymi ćwieczeniami, ale po uprzednim uzgodnieniu oraz na wniosek zainteresowanego!  

.

[STRONA GŁÓWNA]  [PUBLIKACJE]  [ZAKŁAD TOPOLOGII I GEOMETRII]