Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Prolib Integro - strona głównaBiblioteka Akademicka WSIiZ

Wyszukujesz frazę "Logika matematyczna" wg kryterium: Temat

  Lista filtrów

Agenda

Forma dzieła

Autor

Temat

Rok publikacji

Okres powstania

Dziedzina

Odbiorca

Język

Lokalizacja

Przeznaczenie egzemplarza

Wyrównaj
    Wyświetlanie 1-3 z 3
    propozycja biblioteki
    Tytuł pełny:
    Introduction to metamathematics / by Stephen Cole Kleene
    Wydawca:
    New York : Ishi Press International
    Rok wydania:
    cop. 2009
    Seria:
    Bibliotheca Mathematica : a series of monographs on pure and applied mathematics ; vol. 1
    Temat:
    Algorytmy
    Logika matematyczna
    Metamatematyka
    Teoria mnogości
    Metamathematics
    Matematyka
    Gatunek / Forma:
    Książki
    Publikacje dydaktyczne
    Podręcznik
    Pozycja nr 1: Introduction to metamathematics / by Stephen Cole Kleene. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    Tytuł pełny:
    Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów / Igor A. Ławrow, Łarisa L. Maksimowa ; z języka rosyjskiego przełożył Jerzy Pogonowski
    Wydawca:
    Warszawa : Wydawnictwo Naukowe PWN
    Rok wydania:
    2004
    Temat:
    Algorytmy
    Logika matematyczna
    Teoria mnogości
    Matematyka
    Gatunek / Forma:
    Książki
    Publikacje dydaktyczne
    Ćwiczenia i zadania
    Podręcznik
    Pozycja nr 2: Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów / Igor A. Ławrow, Łarisa L. Maksimowa ; z języka rosyjskiego przełożył Jerzy Pogonowski. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    Tytuł pełny:
    Logika wielowartościowych procesów decyzyjnych : zastosowanie w komputerowym wspomaganiu projektowania i zarządzania / Marian A. Partyka
    Wydawca:
    Warszawa : Wydawnictwa Naukowo-Techniczne
    Rok wydania:
    copyright 2002
    Temat:
    Algebra Boole'a
    Algorytmy
    Decyzje
    Logika wielowartościowa
    Projektowanie wspomagane komputerowo
    Informatyka i technologie informacyjne
    Matematyka
    Gatunek / Forma:
    Książki
    Publikacje dydaktyczne
    Podręcznik
    Pozycja nr 3: Logika wielowartościowych procesów decyzyjnych : zastosowanie w komputerowym wspomaganiu projektowania i zarządzania / Marian A. Partyka. Przejdź do szczegółów egzemplarza
    Książka
      Wyświetlanie 1-3 z 3

      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