Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

On the history of logic in the Russian Empire (1850–1917)

100%

Schumann A.

tom R. 111, z. 1-NP

185--194

In 1850 a very important decision for the whole history of humanities and social sciences in Russia was made by Nicholas I, the Emperor of Russia: to eliminate the teaching of philosophy in public universities in order to protect the regime from the Enlightenment ideas. Only logic and experimental psychology were permitted, but only if taught by theology professors. On the one hand, this decision caused the development of the Russian theistic philosophy enhanced by modern methodology represented by logic and psychology of that time. On the other hand, investigations in symbolic logic performed mainly at the Kazan University and the Odessa University were a bit marginal. Because of the theistic nature of general logic, from 1850 to 1917 in Russia there was a gap between philosophical and mathematical logics.

W 1850 r. car Rosji Mikołaj I wydał ważny dla nauk humanistycznych w Rosji edykt: wyeliminować nauczanie filozofii w uczelniach publicznych w celu ochrony systemu naukowego od idei Oświecenia. Tylko logika i psychologia eksperymentalna były dozwolone, jeśli prowadzili je profesorowie teologii. Z jednej strony, taka decyzja spowodowała rozwój rosyjskiej filozofii teistycznej wzmocnionej przez nowoczesne metodologie reprezentowane przez logikę i psychologię tamtych czasów. Z drugiej strony, badania w logice symbolicznej prowadzone głównie na uniwersytetach w Kazaniu i Odessie miały charakter marginalny. Ze względu na ogólny charakter teistyczny logiki, w Rosji w latach 1850–1917 nie było związków między logiką filozoficzną i matematyczną.

Decisions involving databases, fuzzy databases and codatabases

63%

Schumann A. , Woleński J.

tom Vol. 25, No. 3

59--72

The authors consider the following three ways of decision making: (i) decisions involving databases by means of standard tools of sequential logic and universal algebra; (ii) decisions involving fuzzy databases by means of fuzzy logic; (iii) decision involving continuously growing databases (codatabases) using the tools of Bayesian networks.

Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing : A Petri Net Model Approach

63%

Schumann A. , Pancerz K.

2014

tom Vol. 133, nr 2/3

271--285

Our research is focused on creation of a new object-oriented programming language for Physarum polycephalum computing. Physarum polycephalum is a one-cell organism that can be used for developing a biological architecture of different abstract devices, among others, the digital ones. In the paper, we use an abstract graphical language in the form of Petri nets to describe the Physarum polycephalum behavior. Petri nets are a good formalism to assist designers and support hardware design tools, especially in developing concurrent systems. At the beginning stage considered in this paper, we show how to build Petri net models, and next implement them as Physarum polycephalum machines, of basic logic gates AND, OR, NOT, and simple combinational circuits on the example of the 1-to-2 demultiplexer.