Witold Marciszewski: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Linia 86:
* Lata 80.: logika [[Gottfried Wilhelm Leibniz|Leibniza]] i wieku XVII, nurt prowadzący do formalizacji, algebraizacji i komputeryzacji rozumowań (z uwzględnieniem antycypacji średniowiecznych).
* lata 90. przynoszą prace w dziedzinach związanych z zastosowaniem komputerów: (a) wkład komputeryzacji rozumowań w teorię inteligencji, rola systemów pojęciowych w funkcjonowaniu inteligencji; (b) metody i techniki konstruowania hipertekstów dla celów komunikacji naukowej w Internecie.
* Po roku 2000: zagadnienia dynamiki cywilizacji w nawiązaniu do procesów globalizacji i procesów integracji europejskiej, ze szczególnym uwzględnieniem wkładu myśli [[Oświecenie (epoka)|Oświecenia]].
=== Działalność organizacyjna na polu nauki ===
|