Links
From Department of Applied Logic
(Difference between revisions)
| Revision as of 19:40, 8 December 2014 (edit) Pogonowski (Talk | contribs) (→Logic in the Internet) ← Previous diff |
Current revision (08:54, 5 September 2015) (edit) (undo) Pogonowski (Talk | contribs) (→Logic on-line (Polish)) |
||
| (11 intermediate revisions not shown.) | |||
| Line 72: | Line 72: | ||
| ==Logic on-line (Polish)== | ==Logic on-line (Polish)== | ||
| - | * [http://www.ml.put.poznan.pl/documents/inne/logika Karol A. Andrzejczak: Logika Matematyczna i Teoria Mnogości] | + | |
| - | * [http://merak.pb.bialystok.pl/dydaktyka/litm Grzegorz Bancerek: Logika i teoria mnogości] | + | |
| * [http://www.kul.lublin.pl/art_825.html Andrzej Bronk: Konspekt wykładu z logiki ogólnej] | * [http://www.kul.lublin.pl/art_825.html Andrzej Bronk: Konspekt wykładu z logiki ogólnej] | ||
| - | * [http://www.ii.uni.wroc.pl/~wch/#teaching Witold Charatonik: Logika dla informatyków] | + | * [http://www.ii.uni.wroc.pl/~wch/Dydaktyka/ Witold Charatonik: Logika dla informatyków] |
| - | * [http://www.ajd.czest.pl/~j.grygiel/materialy.html Joanna Grygiel: Logika dla filozofów] | + | |
| * [http://www.logic.amu.edu.pl/index.php/Victoria_Kamasa_-_Dydaktyka Victoria Kamasa: Logika] | * [http://www.logic.amu.edu.pl/index.php/Victoria_Kamasa_-_Dydaktyka Victoria Kamasa: Logika] | ||
| - | * [http://www.ii.uni.wroc.pl/~wch/Dydaktyka/Logika/pliki/koczenasz.pdf Piotr Koczenasz: Podstawy logiki i teorii mnogości w zadaniach] | ||
| - | * [http://logika2003.republika.pl Agata Kucharska, Barbara Kołodziej: Logika] | ||
| * [http://www.logic.amu.edu.pl/index.php/Wlodzimierz_Lapis_-_Dydaktyka Włodzimierz Lapis: Lingwistyka matematyczna i teoria automatów] | * [http://www.logic.amu.edu.pl/index.php/Wlodzimierz_Lapis_-_Dydaktyka Włodzimierz Lapis: Lingwistyka matematyczna i teoria automatów] | ||
| + | * [http://www.logic.amu.edu.pl/index.php/Micha%C5%82_Lipnicki_-_Dydaktyka Michał Lipnicki: Logika] | ||
| * [http://www.logic.amu.edu.pl/index.php/Dorota_Lipowska_-_Dydaktyka Dorota Lipowska: Logika] | * [http://www.logic.amu.edu.pl/index.php/Dorota_Lipowska_-_Dydaktyka Dorota Lipowska: Logika] | ||
| - | * [http://plupkowski.wikidot.com/logika Paweł Łupkowski: Elementy logiki i metodologii nauk] | ||
| * [http://www.calculemus.org/lect/index.html Witold Marciszewski: Lectorium] | * [http://www.calculemus.org/lect/index.html Witold Marciszewski: Lectorium] | ||
| * [http://www.romazur.republika.pl Roman Mazur: Logika u podstaw] | * [http://www.romazur.republika.pl Roman Mazur: Logika u podstaw] | ||
| - | * [http://students.mimuw.edu.pl/LP/ Mirosława Miłkowska: Programowanie w logice] | ||
| * [http://robert.nowotniak.com/tautolog/ Robert Nowotniak: Sprawdzanie wartości logicznej wyrażeń zdaniowych] | * [http://robert.nowotniak.com/tautolog/ Robert Nowotniak: Sprawdzanie wartości logicznej wyrażeń zdaniowych] | ||
| - | * [http://www.cyf-kr.edu.pl/~atolszad/dydaktyka.php Adam Olszewski: Wykład z logiki dla studentów pierwszego roku] | ||
| * [http://www.ii.uni.wroc.pl/~pacholsk/logika.phtml Leszek Pacholski: Logika dla informatyków] | * [http://www.ii.uni.wroc.pl/~pacholsk/logika.phtml Leszek Pacholski: Logika dla informatyków] | ||
| - | * [http://kpaprzycka.swps.edu.pl/xSamouczek/xSamouczek.html Katarzyna Paprzycka: Samouczek logiki zdań i logiki kwantyfikatorów] | ||
| - | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Pos%C5%82uga_dydaktyczna Jerzy Pogonowski: Posługa dydaktyczna, UAM] | ||
| - | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Metalogika_-_Uniwersytet_Opolski Jerzy Pogonowski: Metalogika, Uniwersytet Opolski] | ||
| - | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Matematyczna Jerzy Pogonowski: Logika matematyczna] | ||
| - | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Funkcje_Rekurencyjne Jerzy Pogonowski: Funkcje rekurencyjne] | ||
| - | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Radosna Jerzy Pogonowski: Logika radosna (dla etnolingwistek)] | ||
| - | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Semiotyka_Logiczna Jerzy Pogonowski: Semiotyka logiczna] | ||
| - | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Metodologia_Nauk Jerzy Pogonowski: Metodologia Nauk] | ||
| - | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Tablice_Analityczne Jerzy Pogonowski: Tablice analityczne] | ||
| - | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Archiwum Jerzy Pogonowski: Zadania egzaminacyjne z logiki] | ||
| - | * [http://www.puw.pl/art.html?akcja=przedmioty&P%5Baid%5D=295 Polski Uniwersytet Wirtualny: Logika] | ||
| * [http://www.zpcir.ict.pwr.wroc.pl/~witold/logar/ Elżbieta Roszkowska, Witold Paluszyński: Podstawy logiki] | * [http://www.zpcir.ict.pwr.wroc.pl/~witold/logar/ Elżbieta Roszkowska, Witold Paluszyński: Podstawy logiki] | ||
| * [http://www.logic.amu.edu.pl/index.php/S%C5%82awomir_Sikora_-_Dydaktyka Sławomir Sikora: Logika starożytnego Orientu] | * [http://www.logic.amu.edu.pl/index.php/S%C5%82awomir_Sikora_-_Dydaktyka Sławomir Sikora: Logika starożytnego Orientu] | ||
| Line 106: | Line 89: | ||
| * [http://www.mimuw.edu.pl/~urzy/Logika Paweł Urzyczyn: Logika (dla I roku informatyki)] | * [http://www.mimuw.edu.pl/~urzy/Logika Paweł Urzyczyn: Logika (dla I roku informatyki)] | ||
| * [http://www.mimuw.edu.pl/~urzy/Lambda Paweł Urzyczyn: Rachunek lambda] | * [http://www.mimuw.edu.pl/~urzy/Lambda Paweł Urzyczyn: Rachunek lambda] | ||
| - | * [http://www.staff.amu.edu.pl/~p_lup/aw_pliki/logika_1 Andrzej Wiśniewski: Logika I - wykłady] | ||
| - | * [http://www.staff.amu.edu.pl/~p_lup/aw_pliki/logika_2 Andrzej Wiśniewski: Logika II - wykłady] | ||
| - | |||
| =Institutions= | =Institutions= | ||
| Line 115: | Line 95: | ||
| ===Warszawa=== | ===Warszawa=== | ||
| - | *[http://www.dak.uw.edu.pl/spis/www_wydzial12.php?gd_wydz=35011400 Zakład Logiki, Instytut Filozofii UW] | + | *[http://www.filozofia.uw.edu.pl/instytut/zaklady-i-pracownie/zaklad-logiki/ Zakład Logiki, Instytut Filozofii UW] |
| - | *[http://www.dak.uw.edu.pl/spis/www_wydzial12.php?gk_wydz56=10010100 Zakład Logiki Matematycznej, Instytut Matematyki UW] | + | *[http://www.mimuw.edu.pl/wydzial/organizacja/struktura/?para=pracownicy&parb=10010100 Zakład Logiki Matematycznej, Wydział Matematyki, Informatyki i Mechaniki UW] |
| *[http://zls.mimuw.edu.pl/ Zakład Logiki Stosowanej, Instytut Informatyki UW] | *[http://zls.mimuw.edu.pl/ Zakład Logiki Stosowanej, Instytut Informatyki UW] | ||
| - | *[http://www.dak.uw.edu.pl/spis/www_wydzial12.php?gd_wydz=35011500 Zakład Semiotyki Logicznej, Instytut Filozofii UW] | + | *[http://www.filozofia.uw.edu.pl/instytut/zaklady-i-pracownie/zaklad-semiotyki-logicznej/ Zakład Semiotyki Logicznej, Instytut Filozofii UW] |
| *[http://www2.wpia.uw.edu.pl/text.php?cat=290 Zakład Logiki i Informatyki Prawniczej, Wydział Prawa i Administracji UW] | *[http://www2.wpia.uw.edu.pl/text.php?cat=290 Zakład Logiki i Informatyki Prawniczej, Wydział Prawa i Administracji UW] | ||
| - | *[http://www.ifispan.waw.pl/ifis/struktura/filozofia/zaklad/logiki_jezyka_i_dzialania/ Zakład Logiki i Kognitywistyki, Instytut Filozofii i Socjologii PAN] | + | *[http://www.ifispan.waw.pl/index.php?lang=pl&m=page&pg_id=9 Zakład Logiki i Kognitywistyki, Instytut Filozofii i Socjologii PAN] |
| + | *[http://www.impan.pl/ Instytut Matematyczny PAN] | ||
| *[http://www.ipipan.waw.pl Instytut Podstaw Informatyki PAN] | *[http://www.ipipan.waw.pl Instytut Podstaw Informatyki PAN] | ||
| - | *[http://www.slimn.wfch.uksw.edu.pl Sekcja Logiki i Metodologii Nauk, Uniwersytet Kardynała Stefana Wyszyńskiego] | + | *[http://www.filozofia.uksw.edu.pl/node/17 Sekcja Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie] |
| ===Kraków=== | ===Kraków=== | ||
| Line 129: | Line 110: | ||
| *[http://tcs.uj.edu.pl/fcs.php Katedra Podstaw Informatyki, Wydział Matematyki i Informatyki UJ] | *[http://tcs.uj.edu.pl/fcs.php Katedra Podstaw Informatyki, Wydział Matematyki i Informatyki UJ] | ||
| *[http://tcs.uj.edu.pl/algo.php Katedra Algorytmiki, Wydział Matematyki i Informatyki UJ] | *[http://tcs.uj.edu.pl/algo.php Katedra Algorytmiki, Wydział Matematyki i Informatyki UJ] | ||
| - | *[http://www.pat.krakow.pl/filozofia.php?id=filo4#log Katedra Filozofii Logiki, Wydział Filozoficzny PAT] | + | *[http://filozofia.upjp2.edu.pl/index.php/katedra/30/Katedra+Filozofii+Logiki Katedra Filozofii Logiki, Uniwersytet Papieski Jana Pawła II w Krakowie] |
| - | *[http://www.ap.krakow.pl/mat/struktura/ppm.html Pracownia Podstaw Matematyki, Instytut Matematyki Akademii Pedagogicznej im KEN] | + | *[http://matematyka.up.krakow.pl/struktura.php Katedra Dydaktyki i Podstaw Matematyki, Instytut Matematyki Uniwersytetu Pedagogicznego im. KEN w Krakowie] |
| + | *[http://www.kognitywistyka.uj.edu.pl/ Zakład Kognitywistyki, Uniwersytet Jagielloński] | ||
| ===Poznań=== | ===Poznań=== | ||
| Line 136: | Line 118: | ||
| *[http://www.staff.amu.edu.pl/~ztobl/ Zakład Teorii Obliczeń, Wydział Matematyki i Informatyki UAM] | *[http://www.staff.amu.edu.pl/~ztobl/ Zakład Teorii Obliczeń, Wydział Matematyki i Informatyki UAM] | ||
| *[http://www.staff.amu.edu.pl/~zlisi/ Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji, Wydział Matematyki i Informatyki UAM] | *[http://www.staff.amu.edu.pl/~zlisi/ Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji, Wydział Matematyki i Informatyki UAM] | ||
| - | *[http://www.staff.amu.edu.pl/~filozof/Z_LiMN/index.htm Zakład Logiki i Metodologii Nauk, Instytut Filozofii UAM] | + | *[http://filozofia.amu.edu.pl/struktura-instytutu/zaklad-logiki-i-metodologii-nauk/ Zakład Logiki i Metodologii Nauk, Instytut Filozofii UAM] |
| *[http://www.logic.amu.edu.pl Zakład Logiki Stosowanej, Instytut Językoznawstwa UAM] | *[http://www.logic.amu.edu.pl Zakład Logiki Stosowanej, Instytut Językoznawstwa UAM] | ||
| *[http://www.kognitywistyka.amu.edu.pl Zakład Logiki i Kognitywistyki, Instytut Psychologii UAM] | *[http://www.kognitywistyka.amu.edu.pl Zakład Logiki i Kognitywistyki, Instytut Psychologii UAM] | ||
| + | *[http://filozofia.amu.edu.pl/struktura-instytutu/zaklad-epistemologii-i-kognitywistyki/ Zakład Epistemologii i Kognitywistyki, Instytut Filozofii UAM] | ||
| *[http://www.cs.put.poznan.pl/homeP.html Instytut Informatyki, Politechnika Poznańska] | *[http://www.cs.put.poznan.pl/homeP.html Instytut Informatyki, Politechnika Poznańska] | ||
| ===Białystok=== | ===Białystok=== | ||
| - | *[http://ii.uwb.edu.pl/index.php?m=4&z=2 Katedra Logiki, Informatyki i Filozofii Nauki, Instytut Informatyki UwB] | + | |
| - | *[http://math.uwb.edu.pl/pl/zaklady/zaklad.mhtml?cID=4 Zakład Logiki Matematycznej, Instytut Matematyki UwB] | + | *[http://logika.uwb.edu.pl/ Katedra Logiki, Informatyki i Filozofii Nauki, Uniwersytet w Białymstoku] |
| - | *[http://ii.uwb.edu.pl/index.php?m=4&z=8 Zakład Programowania i Metod Formalnych, Instytut Informatyki UwB] | + | *[http://ii.uwb.edu.pl/index.php?p=22 Zakład Programowania i Metod Formalnych, Instytut Informatyki UwB] |
| - | *[http://prawo.uwb.edu.pl/page.php?id=37 Zakład Semiotyki Logicznej, Wydział Prawa UwB] | + | *[http://www.prawo.uwb.edu.pl/prawo_new/index.php?f=14 Zakład Semiotyki Logicznej, Wydział Prawa UwB] |
| ===Lublin=== | ===Lublin=== | ||
| - | *[http://www.umcs.lublin.pl/jednostki.php?id=526 Zakład Logiki i Filozofii Nauki UMCS] | + | |
| + | *[http://www.umcs.pl/pl/zaklad-logiki-i-kognitywistyki,1198.htm Zakład Logiki i Kognitywistyki, Instytut Filozofii UMCS] | ||
| *[http://www.kul.lublin.pl/1622.html Katedra Logiki, KUL] | *[http://www.kul.lublin.pl/1622.html Katedra Logiki, KUL] | ||
| *[http://www.kul.lublin.pl/1624.html Katedra Metodologii Nauk, KUL] | *[http://www.kul.lublin.pl/1624.html Katedra Metodologii Nauk, KUL] | ||
| Line 154: | Line 138: | ||
| ===Opole=== | ===Opole=== | ||
| - | *[http://www.math.uni.opole.pl/zaklad.php?id=2 Katedra Podstaw Matematyki, Instytut Matematyki i Informatyki UO] | + | |
| - | *[http://www.filozofia.uni.opole.pl/show.php?id=55 Zakład Logiki i Metodologii Nauk, Instytut Filozofii i Socjologii UO] | + | *[http://www.math.uni.opole.pl/zaklad.php?id=15 Katedra Algebry i Logiki, Instytut Matematyki i Informatyki UO] |
| + | *[http://www.filozofia.uni.opole.pl/show.php?id=3&lang=pl&m=1 Zakład Logiki i Teorii Poznania, Instytut Filozofii, Uniwersytet Opolski] | ||
| ===Wrocław=== | ===Wrocław=== | ||
| - | *[http://pl.wikipedia.org/wiki/Katedra_Logiki_i_Metodologii_Nauk_Uniwersytetu_Wroc%C5%82awskiego Katedra Logiki i Metodologii Nauk UWr] | + | |
| + | *[http://www.klmn.uni.wroc.pl/index.html Katedra Logiki i Metodologii Nauk UWr] | ||
| *[http://www.math.uni.wroc.pl/instytut/faculty.php?t=0&subsec=7s4&id=7s4 Zakład Logiki i Podstaw Matematyki, Instytut Matematyczny UWr] | *[http://www.math.uni.wroc.pl/instytut/faculty.php?t=0&subsec=7s4&id=7s4 Zakład Logiki i Podstaw Matematyki, Instytut Matematyczny UWr] | ||
| ===Katowice=== | ===Katowice=== | ||
| + | |||
| *[http://www.filozofia.us.edu.pl/index.php?art_id=87 Zakład Logiki i Metodologii, Instytut Filozofii UŚl] | *[http://www.filozofia.us.edu.pl/index.php?art_id=87 Zakład Logiki i Metodologii, Instytut Filozofii UŚl] | ||
| - | *[http://www.math.us.edu.pl/instytut/zaklady/zlm.html Zakład Logiki Matematycznej, Instytut Matematyki UŚl] | + | *[http://www.us.edu.pl/us-addressbook/unit/10000132 Zakład Logiki Matematycznej, Instytut Matematyki UŚl] |
| ===Toruń=== | ===Toruń=== | ||
| + | |||
| *[http://www.logika.umk.pl/index.html Katedra Logiki, Wydział Humanistyczny UMK] | *[http://www.logika.umk.pl/index.html Katedra Logiki, Wydział Humanistyczny UMK] | ||
| - | *[http://www.mat.umk.pl/web/guest/info Zakład Logiki Matematycznej, Wydział Matematyki i Informatyki UMK] | + | *[http://www.filozofia.umk.pl/index.php?lang=_pl&m=page&pg_id=34 Zakład Kognitywistyki i Epistemologii, Instytut Filozofii UMK] |
| ===Łódź=== | ===Łódź=== | ||
| + | |||
| *[http://www.filozof.uni.lodz.pl/index.php/struktura/katedra-logiki-i-metodologii-nauk Katedra Logiki i Metodologii Nauk, Instytut Filozofii UŁ] | *[http://www.filozof.uni.lodz.pl/index.php/struktura/katedra-logiki-i-metodologii-nauk Katedra Logiki i Metodologii Nauk, Instytut Filozofii UŁ] | ||
| + | *[http://psych.uni.lodz.pl/zaklady/zaklad-kognitywistyki/ Zakład Kognitywistyki, Instytut Psychologii Uniwersytetu Łódzkiego] | ||
| ===Olsztyn=== | ===Olsztyn=== | ||
| - | *[http://wmii.uwm.edu.pl/index.php?content=struktura Katedra Logiki i Podstaw Informatyki, Uniwersytet Warmińsko Mazurski] | + | |
| + | * [http://wmii.uwm.edu.pl/wydzial/struktura/18-katedra-matematyki-dyskretnej-i-teoretycznych-podstaw-informatyki Katedra Matematyki Dyskretnej i Teoretycznych Podstaw Informatyki, Wydział Matematyki i Informatyki, Uniwersytet Warmińsko-Mazurski w Olsztynie] | ||
| ===Zielona Góra=== | ===Zielona Góra=== | ||
| - | *[http://www.ifil.uz.zgora.pl/index.php?zlimn Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Zielonogórski] | + | |
| + | *[http://www.ifil.uz.zgora.pl/index.php/o-instytucie/zaklad-logiki-i-metodologii-nauk Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Zielonogórski] | ||
| ===Gdańsk=== | ===Gdańsk=== | ||
| + | |||
| *[http://mat.ug.edu.pl/index.php?path=0,3,3,0&url=mod/zaklad.php?id=tm Zakład Teorii Mnogości, Instytut Matematyki, Uniwersytet Gdański] | *[http://mat.ug.edu.pl/index.php?path=0,3,3,0&url=mod/zaklad.php?id=tm Zakład Teorii Mnogości, Instytut Matematyki, Uniwersytet Gdański] | ||
| *[http://www.wnsts.strony.univ.gda.pl/filozofia/zaklady.html Zakład Logiki, Metodologii i Filozofii Nauki, Instytut Filozofii, Socjologii i Dziennikarstwa, Uniwersytet Gdański] | *[http://www.wnsts.strony.univ.gda.pl/filozofia/zaklady.html Zakład Logiki, Metodologii i Filozofii Nauki, Instytut Filozofii, Socjologii i Dziennikarstwa, Uniwersytet Gdański] | ||
| ===Szczecin=== | ===Szczecin=== | ||
| + | |||
| *[http://www.us.szc.pl/hum_fil?xml=load_page&st=2492 Zakład Filozofii Nauki, Uniwersytet Szczeciński] | *[http://www.us.szc.pl/hum_fil?xml=load_page&st=2492 Zakład Filozofii Nauki, Uniwersytet Szczeciński] | ||
| ===Częstochowa=== | ===Częstochowa=== | ||
| - | *[http://imi.ajd.czest.pl/index.php?pages/show/12,Struktura-instytutu.html Zakład Algebry i Logiki Matematycznej, Instytut Matematyki i Informatyki, Akademia im. Jana Długosza] | ||
| - | ===Siedlce=== | + | *[http://www.ajd.czest.pl/~imi/o-nas/struktura-instytutu/ Zakład Algebry i Logiki Matematycznej, Instytut Matematyki i Informatyki, Akademia im. Jana Długosza] |
| - | *[http://www.imif.ap.siedlce.pl/kpm/katedra_podstaw_matematyki.htm Katedra Podstaw Matematyki, Instytut Matematyki i Fizyki, Akademia Podlaska] | + | |
| - | + | ||
| - | ===Słupsk=== | + | |
| - | *[http://www.apsl.edu.pl/index.php/edukacyjno-filozoficzny/katedra-filozofii Zakład Logiki, Metodologii i Filozofii Nauki, Katedra Filozofii, Wydział Edukacyjno-Filozoficzny, Pomorska Akademia Pedagogiczna] | + | |
| ===Rzeszów=== | ===Rzeszów=== | ||
| - | *[http://www.univ.rzeszow.pl/filozofia/index.php?strona=struktura Zakład Logiki i Metodologii Nauk, Międzywydziałowy Instytut Filozofii, Uniwersytet Rzeszowski] | + | *[http://www.ur.edu.pl/wydzialy/socjologiczno-historyczny/instytut-filozofii/struktura Zakład Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Rzeszowski] |
| - | ===Bydgoszcz=== | + | ==Academic institutions== |
| - | *[http://www.ukw.edu.pl/pokazStrone.php?idStr=6daa952e92545df497f5 Zakład Logiki i Epistemologii, Uniwersytet Kazimierza Wielkiego w Bydgoszczy] | + | |
| - | |||
| - | ==Academic institutions== | ||
| * [http://ailact.mcmaster.ca/ Association for Informal Logic and Critical Thinking] | * [http://ailact.mcmaster.ca/ Association for Informal Logic and Critical Thinking] | ||
| * [http://www.calculemus.org Calculemus.org] | * [http://www.calculemus.org Calculemus.org] | ||
| * [http://www.filozofia.pl Filozofia.pl] | * [http://www.filozofia.pl Filozofia.pl] | ||
| * [http://www.forumakad.pl/ Forum Akademickie] | * [http://www.forumakad.pl/ Forum Akademickie] | ||
| - | * [http://www.forum.ateista.pl/ Forum dyskusyjne: Ateista.pl] | + | * [http://www.forum.ateista.pl/ Forum dyskusyjne: Ateista.pl] |
| - | * [http://www.forumij.org.pl/ Forum Interaktywnych Językoznawców] | + | |
| * [http://www.uczelnie.pl Internetowy Katalog Uczelni w Polsce] | * [http://www.uczelnie.pl Internetowy Katalog Uczelni w Polsce] | ||
| - | * [http://kolkologiczne.webpark.pl/ Kółko logiczne] | ||
| * [http://krnp.ipipan.waw.pl/ Komitet na Rzecz Rozwoju Nauk w Polsce - d. Komitet Ratowania Nauki Polskiej] | * [http://krnp.ipipan.waw.pl/ Komitet na Rzecz Rozwoju Nauk w Polsce - d. Komitet Ratowania Nauki Polskiej] | ||
| - | * [http://www.google.com/Top/Science/Math/Logic_and_Foundations/Organizations/ Logic and Foundations: Organizations] | ||
| * [http://www.mensa.org.pl/ Mensa Polska] | * [http://www.mensa.org.pl/ Mensa Polska] | ||
| * [http://www.men.gov.pl Ministerstwo Edukacji Narodowej] | * [http://www.men.gov.pl Ministerstwo Edukacji Narodowej] | ||
| * [http://www.nauka.gov.pl Ministerstwo Nauki i Szkolnictwa Wyższego] | * [http://www.nauka.gov.pl Ministerstwo Nauki i Szkolnictwa Wyższego] | ||
| * [http://www.nfa.pl/ Niezależne Forum Akademickie] | * [http://www.nfa.pl/ Niezależne Forum Akademickie] | ||
| + | * [http://odyseja.org/ Odyseja Umysłu] | ||
| * [http://www.pan.pl Polska Akademia Nauk] | * [http://www.pan.pl Polska Akademia Nauk] | ||
| - | * [http://www.psf.org.pl Polska Sieć Filozoficzna] | + | * [http://www.logic.org.pl/ Polskie Towarzystwo Logiki i Filozofii Nauki] |
| - | * [http://www.logica.amu.edu.pl/ Polskie Towarzystwo Logiki i Filozofii Nauki] | + | |
| * [http://www.racjonalista.pl/ Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a] | * [http://www.racjonalista.pl/ Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a] | ||
| - | * [http://www.churchofcriticalthinking.com/ The Church of Critical Thinking (Your suspicion is our mission)] | ||
| - | |||
| =For fun= | =For fun= | ||
| + | |||
| * [http://forum.ciekawostka.pl/zagadki-logiczne-vf1.html Forum ciekawostka.pl: Zagadki logiczne] | * [http://forum.ciekawostka.pl/zagadki-logiczne-vf1.html Forum ciekawostka.pl: Zagadki logiczne] | ||
| - | * [http://www.zagadki.mamy.org/zagadki/viewforum.php?f=1 Forum zagadki.mamy.org: Zagadki logiczne] | ||
| * [http://ceti.pl/~gralinski/archiwumfi/index.html Filip Graliński: Archiwum Fi] | * [http://ceti.pl/~gralinski/archiwumfi/index.html Filip Graliński: Archiwum Fi] | ||
| * [http://www.matematyka.pl/viewforum.php?f=54 Matematyka.pl: Łamigłówki i zagadki logiczne] | * [http://www.matematyka.pl/viewforum.php?f=54 Matematyka.pl: Łamigłówki i zagadki logiczne] | ||
| Line 234: | Line 215: | ||
| * [http://nonsensopedia.wikia.com/wiki/Logika NonsensopediA: Logika] | * [http://nonsensopedia.wikia.com/wiki/Logika NonsensopediA: Logika] | ||
| * [http://www.workjoke.com/projoke22.htm Profession Jokes - Mathematicians] | * [http://www.workjoke.com/projoke22.htm Profession Jokes - Mathematicians] | ||
| - | * [http://www.ii.uj.edu.pl/~talaga/logic/logicindex.htm Dominik Talaga: Uroki logiki] | ||
| - | * [http://zagadki.net/forum/viewforum.php?f=1&sid=f8e4cbebe80f6ffdd7736650d1f54e00 Zagadki.net: Zagadki i łamigłówki logiczne] | ||
| [[Category: Links]] | [[Category: Links]] | ||
Current revision
Contents |
[edit] Teaching logic
[edit] Logic on-line
- Aljosha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn, Johan Bos: Computational Semantics
- Stanley Burris: Logic for Mathematics and Computer Science
- Critical Thinking: Using Logic and Reason
- Critical Thinking On The Web
- Gary N. Curtis: The Fallacy Files
- Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic
- Marie Duzí: Úvod do logiky
- Fallacies (The Nizkor Project)
- Silvio Ghilardi: Logica Matematica
- Christian Gottschall: Logikseite
- Interaktivna Logika
- Vladimir Kvasnicka: Matematická logika
- Joe Lau: Critical Thinking Web
- Jochen Lechner: Logik-Kurse und Logik-Skripte
- Logic Tutorial
- Logical Arguments: Introduction to Logic, Arguments, Reasoning
- Logical Fallacies: Arguments, Reasoning, and the Fallacy
- Logical Fallacies.info
- Logical Flaws in Reasoning: Flawed Reasoning, Arguments, and Attitudes
- Alejandro Fernández Margarit: Lógica Matemática
- Paul Newall: A Guide to Fallacies
- Platonic Realms Interactive Mathematics Encyclopedia: Fallacies
- Rationale (software for argument mapping)
- Rainer Rauch: Einführung in die Logik für Linguisten
- Peter Suber: Logical Systems
- Peter Suber: Real-World Reasoning: Informal Logic for College
- E. Szabó László: Bevezetés a matematikai logikába
- The Internet Encyklopedia of Philosophy: Fallacy
- The Logic Cafe
- The Open Directory Project: Informal logic
- Paul Tomassi: Logic and Diagnostic
- Wheeler: Logical Fallacies Handlist
- Glenn Whitman: Logical Fallacies and the Art of Debate
- Wikipedia: Fallacy
[edit] Logic in the Internet
- Raul Corazzon: Ontology. A Resource Guide for Philosophers [Tu m.in. linki do: Indian, Buddhist, Chinese, Islamic Logic.]
- dmoz: Open Directory Project: Logic and Foundations
- dmoz: Open Directory Project: Philosophy of Logic
- L'Equipe de Logique Mathématique
- Factbites: Logic
- Factasia Logic
- Leo Groarke: Informal Logic
- John Halleck: Logic Tools
- Logic and set theory around the world
- Katalog interia.pl: Logika
- Katalog Onet.pl: Logika
- Katalog wp.pl: Logika
- Jochen Lechner: Logik-Software für Unterrichtszwecke
- Logika.lap.hu
- Math Forum Internet Mathematics Library: Logic/Foundations
- Mathematical Logic around the world
- MathWorld: Logic
- Mizar Home Page
- Readings in Logic
- Stewart Shapiro: Classical Logic
- Peter Suber: A Bibliography of Non-Standard Logics
- The Mac Tutor History of Mathematics archive
- The Mathematical Atlas
- Wikipedia: Logika [hasło omawiane w Wikipedii w trzech tuzinach języków]
- Wikipedia: Matematyka dla liceum: Logika
- Jan Woleński: Towarzystwo Naukowe Warszawskie i rozwój logiki w Polsce
- Ryszard Wójcicki: Czym jest, czym nie jest i czym może być logika?
[edit] Logic on-line (Polish)
- Andrzej Bronk: Konspekt wykładu z logiki ogólnej
- Witold Charatonik: Logika dla informatyków
- Victoria Kamasa: Logika
- Włodzimierz Lapis: Lingwistyka matematyczna i teoria automatów
- Michał Lipnicki: Logika
- Dorota Lipowska: Logika
- Witold Marciszewski: Lectorium
- Roman Mazur: Logika u podstaw
- Robert Nowotniak: Sprawdzanie wartości logicznej wyrażeń zdaniowych
- Leszek Pacholski: Logika dla informatyków
- Elżbieta Roszkowska, Witold Paluszyński: Podstawy logiki
- Sławomir Sikora: Logika starożytnego Orientu
- Jerzy Tiuryn, Jerzy Tyszkiewicz, Paweł Urzyczyn: Logika dla informatyków
- Mariusz Urbański: Wprowadzenie do logiki
- Paweł Urzyczyn: Logika (dla I roku informatyki)
- Paweł Urzyczyn: Rachunek lambda
[edit] Institutions
[edit] Some Departments of Logic in Poland
[edit] Warszawa
- Zakład Logiki, Instytut Filozofii UW
- Zakład Logiki Matematycznej, Wydział Matematyki, Informatyki i Mechaniki UW
- Zakład Logiki Stosowanej, Instytut Informatyki UW
- Zakład Semiotyki Logicznej, Instytut Filozofii UW
- Zakład Logiki i Informatyki Prawniczej, Wydział Prawa i Administracji UW
- Zakład Logiki i Kognitywistyki, Instytut Filozofii i Socjologii PAN
- Instytut Matematyczny PAN
- Instytut Podstaw Informatyki PAN
- Sekcja Logiki i Metodologii Nauk, Instytut Filozofii, Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
[edit] Kraków
- Zakład Logiki, Instytut Filozofii UJ
- Zakład Retoryki Logicznej, Instytut Filozofii UJ
- Katedra Podstaw Informatyki, Wydział Matematyki i Informatyki UJ
- Katedra Algorytmiki, Wydział Matematyki i Informatyki UJ
- Katedra Filozofii Logiki, Uniwersytet Papieski Jana Pawła II w Krakowie
- Katedra Dydaktyki i Podstaw Matematyki, Instytut Matematyki Uniwersytetu Pedagogicznego im. KEN w Krakowie
- Zakład Kognitywistyki, Uniwersytet Jagielloński
[edit] Poznań
- Zakład Logiki Matematycznej, Wydział Matematyki i Informatyki UAM
- Zakład Teorii Obliczeń, Wydział Matematyki i Informatyki UAM
- Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji, Wydział Matematyki i Informatyki UAM
- Zakład Logiki i Metodologii Nauk, Instytut Filozofii UAM
- Zakład Logiki Stosowanej, Instytut Językoznawstwa UAM
- Zakład Logiki i Kognitywistyki, Instytut Psychologii UAM
- Zakład Epistemologii i Kognitywistyki, Instytut Filozofii UAM
- Instytut Informatyki, Politechnika Poznańska
[edit] Białystok
- Katedra Logiki, Informatyki i Filozofii Nauki, Uniwersytet w Białymstoku
- Zakład Programowania i Metod Formalnych, Instytut Informatyki UwB
- Zakład Semiotyki Logicznej, Wydział Prawa UwB
[edit] Lublin
- Zakład Logiki i Kognitywistyki, Instytut Filozofii UMCS
- Katedra Logiki, KUL
- Katedra Metodologii Nauk, KUL
- Katedra Teorii Poznania, KUL
[edit] Opole
- Katedra Algebry i Logiki, Instytut Matematyki i Informatyki UO
- Zakład Logiki i Teorii Poznania, Instytut Filozofii, Uniwersytet Opolski
[edit] Wrocław
[edit] Katowice
- Zakład Logiki i Metodologii, Instytut Filozofii UŚl
- Zakład Logiki Matematycznej, Instytut Matematyki UŚl
[edit] Toruń
- Katedra Logiki, Wydział Humanistyczny UMK
- Zakład Kognitywistyki i Epistemologii, Instytut Filozofii UMK
[edit] Łódź
- Katedra Logiki i Metodologii Nauk, Instytut Filozofii UŁ
- Zakład Kognitywistyki, Instytut Psychologii Uniwersytetu Łódzkiego
[edit] Olsztyn
[edit] Zielona Góra
[edit] Gdańsk
- Zakład Teorii Mnogości, Instytut Matematyki, Uniwersytet Gdański
- Zakład Logiki, Metodologii i Filozofii Nauki, Instytut Filozofii, Socjologii i Dziennikarstwa, Uniwersytet Gdański
[edit] Szczecin
[edit] Częstochowa
- Zakład Algebry i Logiki Matematycznej, Instytut Matematyki i Informatyki, Akademia im. Jana Długosza
[edit] Rzeszów
[edit] Academic institutions
- Association for Informal Logic and Critical Thinking
- Calculemus.org
- Filozofia.pl
- Forum Akademickie
- Forum dyskusyjne: Ateista.pl
- Internetowy Katalog Uczelni w Polsce
- Komitet na Rzecz Rozwoju Nauk w Polsce - d. Komitet Ratowania Nauki Polskiej
- Mensa Polska
- Ministerstwo Edukacji Narodowej
- Ministerstwo Nauki i Szkolnictwa Wyższego
- Niezależne Forum Akademickie
- Odyseja Umysłu
- Polska Akademia Nauk
- Polskie Towarzystwo Logiki i Filozofii Nauki
- Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a
