Site programming by Marcin Junczys-Dowmunt



 
 
 
In other languages: Deutsch | Polski

Links

From Department of Applied Logic

(Difference between revisions)
Revision as of 19:41, 8 December 2014 (edit)
Pogonowski (Talk | contribs)
(Logic on-line (Polish))
← Previous diff
Current revision (08:54, 5 September 2015) (edit) (undo)
Pogonowski (Talk | contribs)
(Logic on-line (Polish))
 
(10 intermediate revisions not shown.)
Line 83: Line 83:
* [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.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://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.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 104: 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 118: 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 125: 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 143: 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.imif.ap.siedlce.pl/kpm/katedra_podstaw_matematyki.htm Katedra Podstaw Matematyki, Instytut Matematyki i Fizyki, Akademia Podlaska] 
-===Słupsk===+*[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.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 223: 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

[edit] Logic in the Internet

[edit] Logic on-line (Polish)

[edit] Institutions

[edit] Some Departments of Logic in Poland

[edit] Warszawa

[edit] Kraków

[edit] Poznań

[edit] Białystok

[edit] Lublin

[edit] Opole

[edit] Wrocław

[edit] Katowice

[edit] Toruń

[edit] Łódź

[edit] Olsztyn

[edit] Zielona Góra

[edit] Gdańsk

[edit] Szczecin

[edit] Częstochowa

[edit] Rzeszów

[edit] Academic institutions

[edit] For fun