Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Linki

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 18:23, 8 gru 2014 (edytuj)
Pogonowski (Dyskusja | wkład)
(Wybrane polskie pomoce dydaktyczne z logiki on-line)
← Poprzednia edycja
Aktualna wersja (19:22, 31 sie 2018) (edytuj) (undo)
Lapis (Dyskusja | wkład)

 
(32 intermediate revisions not shown.)
Linia 11: Linia 11:
* [http://www.ii.uni.wroc.pl/~wch/Dydaktyka/ Witold Charatonik: Logika dla informatyków] * [http://www.ii.uni.wroc.pl/~wch/Dydaktyka/ Witold Charatonik: Logika dla informatykó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/Wlodzimierz_Lapis_-_Dydaktyka Włodzimierz Lapis: Wstęp do matematyki]
* [http://www.logic.amu.edu.pl/index.php/Micha%C5%82_Lipnicki_-_Dydaktyka Michał Lipnicki: Logika] * [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.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]
* [http://wazniak.mimuw.edu.pl/index.php?title=Logika_dla_informatyk%C3%B3w Jerzy Tiuryn, Jerzy Tyszkiewicz, Paweł Urzyczyn: Logika dla informatyków] * [http://wazniak.mimuw.edu.pl/index.php?title=Logika_dla_informatyk%C3%B3w Jerzy Tiuryn, Jerzy Tyszkiewicz, Paweł Urzyczyn: Logika dla informatyków]
 +* [http://logika.uwb.edu.pl/KT/LogikaNaukaisztuka.pdf Kazimierz Trzęsicki: Logika Nauka i sztuka]
* [http://logika.wikidot.com/ Mariusz Urbański: Wprowadzenie do logiki] * [http://logika.wikidot.com/ Mariusz Urbański: Wprowadzenie do logiki]
* [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]+* [https://pl.wikibooks.org/wiki/Logika_dla_prawnik%C3%B3w Wikibooks: Logika dla prawników]
-* [http://www.staff.amu.edu.pl/~p_lup/aw_pliki/logika_2 Andrzej Wiśniewski: Logika II - wykłady]+
==Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line== ==Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line==
-* [http://www.freewebs.com/thinkingstraight/ Lee J. Ballard: Thinking Straight] 
* [http://www.coli.uni-saarland.de/projects/milca/courses/comsem/html/index.html Aljosha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn, Johan Bos: Computational Semantics] * [http://www.coli.uni-saarland.de/projects/milca/courses/comsem/html/index.html Aljosha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn, Johan Bos: Computational Semantics]
* [http://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html Stanley Burris: Logic for Mathematics and Computer Science] * [http://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html Stanley Burris: Logic for Mathematics and Computer Science]
-* [http://www.stoneforest.org/critical.html Leo Kee Chye: Critical Thinking] 
* [http://atheism.about.com/od/criticalthinking Critical Thinking: Using Logic and Reason] * [http://atheism.about.com/od/criticalthinking Critical Thinking: Using Logic and Reason]
* [http://www.austhink.org/critical/ Critical Thinking On The Web] * [http://www.austhink.org/critical/ Critical Thinking On The Web]
Linia 53: Linia 37:
* [http://www.ltn.lv/~podnieks/mlog/ml.htm Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic] * [http://www.ltn.lv/~podnieks/mlog/ml.htm Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic]
* [http://www.cs.vsb.cz/duzi/UvodLogika.html Marie Duzí: Úvod do logiky] * [http://www.cs.vsb.cz/duzi/UvodLogika.html Marie Duzí: Úvod do logiky]
-* [http://www.drury.edu/ess/Logic/Informal/Overview.html Charles Ess: Informal Fallacies] 
* [http://www.nizkor.org/features/fallacies Fallacies (The Nizkor Project)] * [http://www.nizkor.org/features/fallacies Fallacies (The Nizkor Project)]
* [http://homes.dsi.unimi.it/~ghilardi/teaching.html Silvio Ghilardi: Logica Matematica] * [http://homes.dsi.unimi.it/~ghilardi/teaching.html Silvio Ghilardi: Logica Matematica]
Linia 61: Linia 44:
* [http://philosophy.hku.hk/think/ Joe Lau: Critical Thinking Web] * [http://philosophy.hku.hk/think/ Joe Lau: Critical Thinking Web]
* [http://www.phil-fak.uni-duesseldorf.de/logik/materialien.html Jochen Lechner: Logik-Kurse und Logik-Skripte] * [http://www.phil-fak.uni-duesseldorf.de/logik/materialien.html Jochen Lechner: Logik-Kurse und Logik-Skripte]
-* [http://www.limbicnutrition.com/critical/ Limbicnutrition Critical Thinking Portal] 
* [http://logictutorial.com Logic Tutorial] * [http://logictutorial.com Logic Tutorial]
* [http://atheism.about.com/od/logicalarguments Logical Arguments: Introduction to Logic, Arguments, Reasoning] * [http://atheism.about.com/od/logicalarguments Logical Arguments: Introduction to Logic, Arguments, Reasoning]
Linia 68: Linia 50:
* [http://atheism.about.com/od/logicalflawsinreasoning Logical Flaws in Reasoning: Flawed Reasoning, Arguments, and Attitudes] * [http://atheism.about.com/od/logicalflawsinreasoning Logical Flaws in Reasoning: Flawed Reasoning, Arguments, and Attitudes]
* [http://www.cs.us.es/cursos/lm Alejandro Fernández Margarit: Lógica Matemática] * [http://www.cs.us.es/cursos/lm Alejandro Fernández Margarit: Lógica Matemática]
-* [http://intsys.msu.ru/study/mironov/mathlog.pdf A.M. Mironov: Matiematiczeskaja logika] 
-* [http://www.sjsu.edu/depts/itl Mission: Critical] 
* [http://www.galilean-library.org/int16.html Paul Newall: A Guide to Fallacies] * [http://www.galilean-library.org/int16.html Paul Newall: A Guide to Fallacies]
* [http://www.mathacademy.com/pr/prime/articles/fallac/ Platonic Realms Interactive Mathematics Encyclopedia: Fallacies] * [http://www.mathacademy.com/pr/prime/articles/fallac/ Platonic Realms Interactive Mathematics Encyclopedia: Fallacies]
* [http://www.austhink.com/rationale Rationale (software for argument mapping)] * [http://www.austhink.com/rationale Rationale (software for argument mapping)]
* [http://www.rainerrauch.com/Download/EinfuehrungLogik.pdf Rainer Rauch: Einführung in die Logik für Linguisten] * [http://www.rainerrauch.com/Download/EinfuehrungLogik.pdf Rainer Rauch: Einführung in die Logik für Linguisten]
-* [http://poincare.mathematik.uni-tuebingen.de/~logik/philosophie.html Torsten Schatz: Einführung in die Logik] 
* [http://www.earlham.edu/~peters/courses/logsys/lshome.htm Peter Suber: Logical Systems] * [http://www.earlham.edu/~peters/courses/logsys/lshome.htm Peter Suber: Logical Systems]
* [http://www.earlham.edu/~peters/courses/inflogic/inflhome.htm Peter Suber: Real-World Reasoning: Informal Logic for College] * [http://www.earlham.edu/~peters/courses/inflogic/inflhome.htm Peter Suber: Real-World Reasoning: Informal Logic for College]
Linia 81: Linia 60:
* [http://www.oakland.edu/phil/cafe The Logic Cafe] * [http://www.oakland.edu/phil/cafe The Logic Cafe]
* [http://www.dmoz.org/Society/Philosophy/Philosophy_of_Logic/Informal_Logic/ The Open Directory Project: Informal logic] * [http://www.dmoz.org/Society/Philosophy/Philosophy_of_Logic/Informal_Logic/ The Open Directory Project: Informal logic]
-* [http://www-csli.stanford.edu/hp The Openproof Project at CSLI] 
* [http://www.ul.ie/~philos/vol3/gnostic.html Paul Tomassi: Logic and Diagnostic] * [http://www.ul.ie/~philos/vol3/gnostic.html Paul Tomassi: Logic and Diagnostic]
* [http://web.cn.edu/kwheeler/fallacies_list.html Wheeler: Logical Fallacies Handlist] * [http://web.cn.edu/kwheeler/fallacies_list.html Wheeler: Logical Fallacies Handlist]
* [http://www.csun.edu/~dgw61315/fallacies.html Glenn Whitman: Logical Fallacies and the Art of Debate] * [http://www.csun.edu/~dgw61315/fallacies.html Glenn Whitman: Logical Fallacies and the Art of Debate]
* [http://en.wikipedia.org/wiki/Fallacy Wikipedia: Fallacy] * [http://en.wikipedia.org/wiki/Fallacy Wikipedia: Fallacy]
-* [http://www.goodart.org/fallazoo.htm Brian Yoder: Fallacy Zoo] 
==Wybrane linki do logiki w sieci== ==Wybrane linki do logiki w sieci==
-* [http://www.bakeru.edu/crit Baker University, Center for Critical Thinking]+ 
 +* [http://www.logicmuseum.com/wiki/Main_Page Logic Museum]
* [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers] [Tu m.in. linki do: Indian, Buddhist, Chinese, Islamic Logic.] * [http://www.formalontology.it Raul Corazzon: Ontology. A Resource Guide for Philosophers] [Tu m.in. linki do: Indian, Buddhist, Chinese, Islamic Logic.]
* [http://www.dmoz.org/Science/Math/Logic_and_Foundations/ dmoz: Open Directory Project: Logic and Foundations] * [http://www.dmoz.org/Science/Math/Logic_and_Foundations/ dmoz: Open Directory Project: Logic and Foundations]
Linia 98: Linia 76:
* [http://plato.stanford.edu/entries/logic-informal Leo Groarke: Informal Logic] * [http://plato.stanford.edu/entries/logic-informal Leo Groarke: Informal Logic]
* [http://www.cc.utah.edu/~nahaj/logic/ John Halleck: Logic Tools] * [http://www.cc.utah.edu/~nahaj/logic/ John Halleck: Logic Tools]
-* [http://www.google.com/Top/Science/Math/Logic_and_Foundations/Publications/Journals/ Logic and Foundations: Journals] 
-* [http://www.google.com/Top/Science/Math/Logic_and_Foundations/Software/ Logic and Foundations: Software] 
* [http://settheory.net/world Logic and set theory around the world] * [http://settheory.net/world Logic and set theory around the world]
-* [http://szukaj.gazeta.pl/katalog/0,51443.html?slowo=logika&szuk=kateg Katalog gazeta.pl: Logika] 
* [http://www.google.interia.pl/szukaj,q,logika,w,,p,1 Katalog interia.pl: Logika] * [http://www.google.interia.pl/szukaj,q,logika,w,,p,1 Katalog interia.pl: Logika]
* [http://katalog.onet.pl/3877,logika,k.html Katalog Onet.pl: Logika] * [http://katalog.onet.pl/3877,logika,k.html Katalog Onet.pl: Logika]
-* [http://skocz.com/Katalog/Logika/3796 Katalog Skocz.com: Logika] 
* [http://szukaj.wp.pl/szukaj.html?szukaj=logika&z=T&p=T Katalog wp.pl: Logika] * [http://szukaj.wp.pl/szukaj.html?szukaj=logika&z=T&p=T Katalog wp.pl: Logika]
* [http://www.phil-fak.uni-duesseldorf.de/logik/software.html Jochen Lechner: Logik-Software für Unterrichtszwecke] * [http://www.phil-fak.uni-duesseldorf.de/logik/software.html Jochen Lechner: Logik-Software für Unterrichtszwecke]
Linia 143: Linia 117:
*[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://filozofia.upjp2.edu.pl/index.php/katedra/30/Katedra+Filozofii+Logiki Katedra Filozofii Logiki, Uniwersytet Papieski Jana Pawła II w Krakowie] *[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 Uniwersytetu Pedagogicznego w Krakowie]+*[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ń===
Linia 152: Linia 127:
*[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]
Linia 162: Linia 138:
===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]
Linia 174: Linia 150:
===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]
Linia 185: Linia 161:
*[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.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===

Aktualna wersja


Spis treści

[edytuj] Pomoce dydaktyczne

[edytuj] Wybrane polskie pomoce dydaktyczne z logiki on-line

[edytuj] Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line

[edytuj] Wybrane linki do logiki w sieci

[edytuj] Instytucje

[edytuj] Krajowe Zakłady i Katedry Logiki (niektóre)

[edytuj] Warszawa

[edytuj] Kraków

[edytuj] Poznań

[edytuj] Białystok

[edytuj] Lublin

[edytuj] Opole

[edytuj] Wrocław

[edytuj] Katowice

[edytuj] Toruń

[edytuj] Łódź

[edytuj] Olsztyn

[edytuj] Zielona Góra

[edytuj] Gdańsk

[edytuj] Szczecin

[edytuj] Częstochowa

[edytuj] Rzeszów

[edytuj] Wybrane instytucje, towarzystwa naukowe, fora dyskusyjne

[edytuj] Dla relaksu