Links
Aus Lehrstuhl für Angewandte Logik
(Unterschied zwischen Versionen)
Version vom 14:53, 11. Jan. 2015 (bearbeiten) Pogonowski (Diskussion | Beiträge) (→Kraków) ← Zum vorherigen Versionsunterschied |
Aktuelle Version (09:00, 5. Sep. 2015) (bearbeiten) (Entfernen) Pogonowski (Diskussion | Beiträge) (→Logikunterricht on-line (Polnisch)) |
||
(Der Versionsvergleich bezieht 4 dazwischen liegende Versionen mit ein.) | |||
Zeile 83: | Zeile 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] | ||
Zeile 130: | Zeile 121: | ||
*[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] | ||
Zeile 152: | Zeile 144: | ||
===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] | ||
Zeile 163: | Zeile 155: | ||
*[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=== |
Aktuelle Version
Inhaltsverzeichnis |
[bearbeiten] Logikunterricht
[bearbeiten] Logikunterricht 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
[bearbeiten] Logik in 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?
[bearbeiten] Logikunterricht on-line (Polnisch)
- 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
[bearbeiten] Institutionen
[bearbeiten] Websites einiger Lehrstühle für Logik in Polen
[bearbeiten] 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
[bearbeiten] 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
[bearbeiten] 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
[bearbeiten] 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
[bearbeiten] Lublin
- Zakład Logiki i Kognitywistyki, Instytut Filozofii UMCS
- Katedra Logiki, KUL
- Katedra Metodologii Nauk, KUL
- Katedra Teorii Poznania, KUL
[bearbeiten] Opole
- Katedra Algebry i Logiki, Instytut Matematyki i Informatyki UO
- Zakład Logiki i Teorii Poznania, Instytut Filozofii, Uniwersytet Opolski
[bearbeiten] Wrocław
[bearbeiten] Katowice
- Zakład Logiki i Metodologii, Instytut Filozofii UŚl
- Zakład Logiki Matematycznej, Instytut Matematyki UŚl
[bearbeiten] Toruń
- Katedra Logiki, Wydział Humanistyczny UMK
- Zakład Kognitywistyki i Epistemologii, Instytut Filozofii UMK
[bearbeiten] Łódź
- Katedra Logiki i Metodologii Nauk, Instytut Filozofii UŁ
- Zakład Kognitywistyki, Instytut Psychologii Uniwersytetu Łódzkiego
[bearbeiten] Olsztyn
[bearbeiten] Zielona Góra
[bearbeiten] 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
[bearbeiten] Szczecin
[bearbeiten] Częstochowa
- Zakład Algebry i Logiki Matematycznej, Instytut Matematyki i Informatyki, Akademia im. Jana Długosza
[bearbeiten] Rzeszów
[bearbeiten] Academische Institutionen
- 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