Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Logika symboliczna i matematyczna."" wg kryterium: Temat


Wyświetlanie 1-10 z 10
propozycja biblioteki
Tytuł:
Pisma semantyczne
Autorzy:
Carnap, Rudolf
ALETHEIA (Warszawa)
Temat:
Logika symboliczna i matematyczna.
Semantyka.
Rok wydania:
2007
Uwagi:
Podst. przekładu: "Introduction to semantics" (Cambridge, 1948) - przygotowana jako t. 1 oraz "Meaning and necessity" poszerzone o kilka artykułów później wydanych przygotowany jako t. 3 - (Chicago ; London, 1958) oraz prace, które Carnap nazwał "Studiami z semantyki", dwie z nich pierwszy raz ukazują się w jęz. polskim. "Formalization of logic" przygotowana najwcześniej, ale wydana dopiero jako t. 2
Posłowie: Barbara Stanosz
Bibliogr. s. 467-472
Podręcznik akademicki dotowany przez Ministra Nauki i Szkolnictwa Wyższego
Współtwórcy:
Ciecierski, Tadeusz. Tł.
Stanosz, Barbara. Posłow.
Klas. wewnętrzna:
Logika
Książka
propozycja biblioteki
Tytuł:
Logika matematyczna w informatyce
Autorzy:
Ben-Ari, Mordechai (1948- )
Wydawnictwa Naukowo-Techniczne (Warszawa)
Temat:
Informatyka - matematyka - podręczniki akademickie.
Matematyka
Logika.
Informatyka.
Logika symboliczna i matematyczna - podręczniki akademickie.
Rok wydania:
2006
Uwagi:
Bibliogr. s. 333-335
Indeks
Podręcznik dla studentów pierwszego roku informatyki
Współtwórcy:
Miłkowska, Mirosława. Tł.
Klas. wewnętrzna:
Matematyka
Książka
    Wyświetlanie 1-10 z 10

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies