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 14:44, 11 sty 2015 (edytuj)
Pogonowski (Dyskusja | wkład)
(Toruń)
← Poprzednia edycja
Aktualna wersja (19:22, 31 sie 2018) (edytuj) (undo)
Lapis (Dyskusja | wkład)

 
(9 intermediate revisions not shown.)
Linia 12: Linia 12:
* [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.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]
Linia 18: Linia 19:
* [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]
* [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]
 +* [https://pl.wikibooks.org/wiki/Logika_dla_prawnik%C3%B3w Wikibooks: Logika dla prawników]
==Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line== ==Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line==
Linia 73: Linia 67:
==Wybrane linki do logiki w sieci== ==Wybrane linki do logiki w sieci==
 +* [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 132: 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 154: 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 170: Linia 166:
*[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