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:27, 8 gru 2014 (edytuj)
Pogonowski (Dyskusja | wkład)
(Wybrane polskie pomoce dydaktyczne z logiki on-line)
← Poprzednia edycja
Wersja z dnia 18:28, 8 gru 2014 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line)
Następna edycja →
Linia 36: Linia 36:
==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]

Wersja z dnia 18:28, 8 gru 2014


Spis treści

Pomoce dydaktyczne

Wybrane polskie pomoce dydaktyczne z logiki on-line

Wybrane obcojęzyczne pomoce dydaktyczne z logiki on-line

Wybrane linki do logiki w sieci

Instytucje

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

Rzeszów

Wybrane instytucje, towarzystwa naukowe, fora dyskusyjne

Dla relaksu