Links
From Department of Applied Logic
(Difference between revisions)
| Revision as of 12:05, 21 October 2007 (edit) Pogonowski (Talk | contribs) (→Academic institutions) ← Previous diff |
Revision as of 12:08, 21 October 2007 (edit) (undo) Pogonowski (Talk | contribs) (→Logic on-line) Next diff → |
||
| Line 114: | Line 114: | ||
| ==Logic on-line== | ==Logic on-line== | ||
| - | * [http://www.mathlog.h11.ru/index.html Irina Agiejeva: Matiematiczeskaja logika] | ||
| * [http://www-csli.stanford.edu/hp Jon Barwise, John Etchemedy: Logic Software from CSLI] | * [http://www-csli.stanford.edu/hp Jon Barwise, John Etchemedy: Logic Software from CSLI] | ||
| * [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] | ||
Revision as of 12:08, 21 October 2007
Contents |
Some Departments of Logic in Poland
Warszawa
- Zakład Logiki, Instytut Filozofii UW
- Zakład Logiki Matematycznej, Instytut Matematyki 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
- Katedra Algorytmiki, Polsko - Japońska Wyższa Szkoła Technik Komputerowych
- Instytut Podstaw Informatyki PAN
- Katedra Podstaw Matematyki, Uniwersytet Kardynała Stefana Wyszyńskiego
- Katedra Logiki, Uniwersytet Kardynała Stefana Wyszyńskiego
Kraków
- Zakład Logiki, Instytut Filozofii UJ
- Pracownia Prakseologii i Retoryki, Instytut Filozofii UJ
- Zakład Podstaw Informatyki, Instytut Informatyki UJ
- Katedra Algorytmiki, Instytut Informatyki UJ
- Katedra Logiki i Filozofii Nauki, Wydział Filozoficzny PAT
- Pracownia Logiki i Metodologii Nauk, Instytut Filozofii i Socjologii Akademii Pedagogicznej im. KEN
- Pracownia Podstaw Matematyki, Instytut Matematyki Akademii Pedagogicznej im KEN
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
- Instytut Informatyki, Politechnika Poznańska
Białystok
- Katedra Logiki, Informatyki i Filozofii Nauki, Instytut Informatyki UwB
- Zakład Logiki Matematycznej, Instytut Matematyki UwB
- Zakład Logiki Stosowanej, Instytut Informatyki UwB
- Zakład Semiotyki Logicznej, Wydział Prawa UwB
Lublin
- Zakład Logiki i Metodologii Nauk UMCS
- Katedra Logiki, KUL
- Katedra Metodologii Nauk, KUL
- Katedra Teorii Poznania, KUL
Opole
- Katedra Podstaw Matematyki, Instytut Matematyki i Informatyki UO
- Zakład Logiki i Metodologii Nauk, Instytut Filozofii i Socjologii UO
Wrocław
Katowice
- Zakład Logiki i Metodologii, Wydział Nauk Społecznych UŚl
- Zakład Logiki Matematycznej, Instytut Matematyki UŚl
Toruń
Łódź
Olsztyn
- Katedra Logiki i Podstaw Informatyki, Uniwersytet Warmińsko Mazurski
- Pracownia Logiki, Metodologii Nauk Społecznych i Teorii Gier, Instytut Nauk Politycznych, Uniwersytet Warmińsko Mazurski
Zielona Góra
Gdańsk
Szczecin
Częstochowa
Kielce
Siedlce
Słupsk
Bydgoszcz
Logic on-line (Polish)
- Karol A. Andrzejczak: Logika Matematyczna i Teoria Mnogości
- Grzegorz Bancerek: Logika i teoria mnogości
- Joanna Grygiel: Matematyka dyskretna. Logika zaoczna I-V
- Przemysław Kobylański: Logika Algorytmiczna
- Agata Kucharska, Barbara Kołodziej: Logika
- Witold Marciszewski: Lectorium
- Roman Mazur: Logika u podstaw
- Adam Olszewski: Wykład z logiki dla studentów pierwszego roku
- Arkadiusz Orłowski, Marian Rusek: Logika i matematyka dyskretna
- Katarzyna Paprzycka: Samouczek logiki zdań i logiki kwantyfikatorów
- Grzegorz Podgórniak: Aplikacja sprawdzająca tautologiczność
- Jerzy Pogonowski: Posługa dydaktyczna
- Polski Uniwersytet Wirtualny: Logika
- Sciaga.pl: Czym zajmuje się logika
- Skrypt.pl: Logika
- Mariusz Urbański: Wprowadzenie do logiki
- Mariusz Urbański: Logika I - konwersatoria
- Paweł Urzyczyn: Logika (dla I roku informatyki)
- Paweł Urzyczyn: Rachunek lambda
- Andrzej Wiśniewski: Logika I - wykłady
Logic on-line
- Jon Barwise, John Etchemedy: Logic Software from CSLI
- 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
- Vilnis Detlovs, Karlis Podnieks: Introduction to Mathematical Logic
- Marie Duzí: Úvod do logiky
- Fallacies (The Nizkor Project)
- Alejandro Fernández Margarit: Lógica Matemática
- Silvio Ghilardi: Logica Matematica
- Christian Gottschall: Logikseite
- Interaktivna Logika
- Vladimir Kvasnicka: Matematická logika
- Jochen Lechner: Logik-Kurse und Logik-Skripte
- Logic and Fallacies
- Logic Programs on Line
- Logic Tutorial
- Logical Arguments: Introduction to Logic, Arguments, Reasoning
- Logical Fallacies: Arguments, Reasoning, and the Fallacy
- Logical Flaws in Reasoning: Flawed Reasoning, Arguments, and Attitudes
- A.M. Mironov: Matiematiczeskaja logika
- Mission: Critical
- Rainer Rauch: Einführung in die Logik für Linguisten
- Torsten Schatz: Einführung in die Logik
- Peter Suber: Logical Systems
- E. Szabó László: Bevezetés a matematikai logikába
- The Logic Cafe
Logic in the Internet
- Google: Logic and Foundations
- Baker University, Center for Critical Thinking
- Raul Corazzon: Ontology. A Resource Guide for Philosophers
- dmoz: Open Directory Project: Philosophy of Logic
- L'Equipe de Logique Mathématique
- Factbites: Logic
- Factasia Logic
- Leo Groarke: Informal Logic
- Katalog gazeta.pl: Logika
- Katalog interia.pl: Logika
- Katalog RobArt: Logika
- Katalog Skocz.com: Logika
- Katalog wp.pl: Logika
- Jochen Lechner: Logik-Software für Unterrichtszwecke
- Logika.lap.hu
- Math Forum Internet Mathematics Library: Logic/Foundations
- MathWorld: Logic
- Readings in Logic
- Stewart Shapiro: Classical Logic
- The Mac Tutor History of Mathematics archive
- The Mathematical Atlas
- Wikipedia: Logika
- 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?
Academic institutions
- Ministerstwo Edukacji Narodowej
- Ministerstwo Nauki i Szkolnictwa Wyższego
- Polska Akademia Nauk
- Calculemus.org
- Polskie Towarzystwo Logiki i Filozofii Nauki
- Polska Sieć Filozoficzna
- Filozofia.pl
- Internetowy Katalog Uczelni w Polsce
- Komitet na Rzecz Rozwoju Nauk w Polsce - d. Komitet Ratowania Nauki Polskiej
- Forum Akademickie
- Niezależne Forum Akademickie
- Forum Interaktywnych Językoznawców
- Forum dyskusyjne: Ateista.pl
- Racjonalista. Ośrodek Racjonalistyczno-Sceptyczny im. de Voltaire'a
