144512
Książka
W koszyku
Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski. - Wydanie 2 poprawione - Warszawa : Państwowe Wydawnictwo Naukowe, 1977. - 393, [3] strony : ilustracje ; 24 cm.
Autor
Borkowski Ludwik (1914-1993) Autor
Forma i typ
Książki Publikacje fachowe
Odbiorca
Studenci
Temat
Logika formalna Funkcje Metamatematyka Rachunek kwantyfikatorów Teoria mnogości Antynomia
Gatunek
Poradnik Podręcznik
Książka niniejsza przeznaczona jest głównie dla osób pragnących zaznajomić się obszerniej ze współczesną logiką formalną a nie mającuch specjalnego przygotowania matematycznego. Ten wzgląd decyduje o wyborze materiału, dążności do możliwie przystępnego sposobu ujęcia i o doborze przykładów. Cztery pierwsze rozdziały i część rozdziału V oprócz wiadomości ogólnych, potrzebnych przy lekturze następnych rozdziałów, zawierają obszerne, ale możliwie przystępnie ujęte wiadomości z najważniejszych rachunków logicznych, mianowicie klasycznego rachunku zdań, kwantyfikatorów, zbiorów i relacji [...]Książka nie zawiera osobnych ćwiczeń, ale w rozdziałach III, IV i V znajdzie czytelnik materiał do takich ćwiczeń w postaci sporej ilości twierdzeń, które są podane bez dowodu czy też z mniej lub bardziej szczegółowymi wskazówkami, jak należy przeprowadzić ich dowody [fragmenty wstępu].
Strefa uwag:
Uwaga ogólna
Indeks
Potwierdź wykonanie raportu
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej