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 05:59, 9 wrz 2009 (edytuj)
Pogonowski (Dyskusja | wkład)
(Niektóre polskie podręczniki logiki (oraz inne materiały dydaktyczne) on-line)
← Poprzednia edycja
Wersja z dnia 06:06, 9 wrz 2009 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Niektóre polskie podręczniki logiki (oraz inne materiały dydaktyczne) on-line)
Następna edycja →
Linia 100: Linia 100:
* [http://www.ii.uni.wroc.pl/~wch/#teaching Witold Charatonik: Logika dla informatyków] * [http://www.ii.uni.wroc.pl/~wch/#teaching Witold Charatonik: Logika dla informatyków]
* [http://www.ajd.czest.pl/~j.grygiel/materialy.html Joanna Grygiel: Logika dla filozofów] * [http://www.ajd.czest.pl/~j.grygiel/materialy.html Joanna Grygiel: Logika dla filozofów]
-* [http://grzegorj.w.interia.pl/logika/zwlog1.html Grzegorz Jagodziński: Związki logiczne] 
* [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://www.ii.uni.wroc.pl/~wch/Dydaktyka/Logika/pliki/koczenasz.pdf Piotr Koczenasz: Podstawy logiki i teorii mnogości w zadaniach]
Linia 112: Linia 111:
* [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.cyf-kr.edu.pl/~atolszad/dydaktyka.php Adam Olszewski: Wykład z logiki dla studentów pierwszego roku]
-* [http://moodle.sggw.waw.pl/course/category.php?id=28 Arkadiusz Orłowski, Marian Rusek: Logika i matematyka dyskretna] 
* [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://kpaprzycka.swps.edu.pl/xSamouczek/xSamouczek.html Katarzyna Paprzycka: Samouczek logiki zdań i logiki kwantyfikatorów]
-* [http://www.popf.glt.pl/aplikacja.htm Grzegorz Podgórniak: Aplikacja sprawdzająca tautologiczność] 
* [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Pos%C5%82uga_dydaktyczna Jerzy Pogonowski: Posługa dydaktyczna] * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Pos%C5%82uga_dydaktyczna Jerzy Pogonowski: Posługa dydaktyczna]
* [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_-_Logika_Matematyczna Jerzy Pogonowski: Logika matematyczna]
Linia 128: Linia 125:
* [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://www.kognitywistyka.amu.edu.pl/mu_pliki/wyklad.html 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]

Wersja z dnia 06:06, 9 wrz 2009


Spis treści

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

Warszawa

Kraków

Poznań

Białystok

Lublin

Opole

Wrocław

Katowice

Toruń

Łódź

Olsztyn

Zielona Góra

Gdańsk

Szczecin

Częstochowa

Siedlce

Słupsk

Rzeszów

Bydgoszcz

Niektóre polskie podręczniki logiki (oraz inne materiały dydaktyczne) on-line

Niektóre obcojęzyczne pomoce dydaktyczne z logiki on-line

Niektóre linki do logiki w sieci

Niektóre instytucje, towarzystwa naukowe, fora dyskusyjne

Dla relaksu