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-9 z 9
Tytuł :
Pisma semantyczne
Autorzy :
Carnap, Rudolf
ALETHEIA (Warszawa)
Temat :
Logika symboliczna i matematyczna.
Semantyka.
Rok wydania :
2007
Uwagi :
Podręcznik akademicki dotowany przez Ministra Nauki i Szkolnictwa Wyższego
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
Współtwórcy :
Ciecierski, Tadeusz. Tł.
Stanosz, Barbara. Posłow.
Klas. wewnętrzna :
Logika
Książka
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 :
Podręcznik dla studentów pierwszego roku informatyki
Bibliogr. s. 333-335
Indeks
Współtwórcy :
Miłkowska, Mirosława. Tł.
Klas. wewnętrzna :
Matematyka
Książka
    Wyświetlanie 1-9 z 9

    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