Księgarnia Techniczna | Podręczniki akademickie | Książki techniczne
Księgarnia Techniczna
  • Nauka
  • Edukacja
  • Technika
serdecznie zaprasza specjalistów po

książki techniczne

a także studentów - oferujemy

podręczniki akademickie
Sprzedajemy książki jako księgarnia wysyłkowa oraz w tradycyjnej księgarni
Księgarnia Techniczna | Podręczniki akademickie| Książki techniczne (0)
Katalog » MATEMATYKA
Wyszukiwarka


Zaawansowane wyszukiwanie
Informacje o produkcie:
Kliknij aby zobaczyć zdjęcie w oryginalnej wielkości
Logiki nihilistyczne, czyli teorie prawd ``powierzchownych`` i ``głębokich``
Dostępność: brak - zapytaj
Autor
Specyfikacja książki
Ilość stron
290
Okładka
miękka
Format
B5
Rok wydania
2001
Język
polski

Najniższy koszt wysyłki to tylko 12,00 zł
  Cena:

przechowalnia

23,00 zł

Książka jest poprawioną i rozszerzoną wersją pracy pt. Logiki nihilistyczne. Zarys problematyki (Oficyna Akademicka, Warszawa, 1995). Prezentuje się w niej pewne nieklasyczne rachunki (systemy, teorie) logiczne, zwane nihilistycznymi. Systemy te nawiązują do tzw. nihilistycznej koncepcji prawdy, w myśl której zdanie postaci: ``prawdą jest, że p`` jest równoznaczne z samym zdaniem ``p``. W teoriach tych odrzuca się pewne podstawowe zasady logiki klasycznej takie, jak: dwuwartościowości, wyłączonego środka i sprzeczności. Rachunki te konstruuje się metodami: matrycową, aksjomatyczną, założeniową, założeniową uogólnioną, tablic analitycznych i Gentzena. Dowodzi się wielu twierdzeń charakteryzujących owe teorie, między innymi o niesprzeczności, o dedukcji, o pełności tych systemów.
Zwraca się uwagę na zastosowania owych teorii, na przykład do rozwiązywania niektórych antynomii semantycznych. Pokazuje się też, że rachunki te mogą być wykorzystane we współczesnej fizyce. Mogą być one szczególnie użyteczne do rozwiązania słynnego `` paradoksu kota Schrddingera`` oraz stanowić mocne wsparcie rachunkowe Hugh'a Everetta teorii wielu światów.

Spis treści:

Wstęp

Rozdział 1. Preliminaria
Rozdział 2. Nihilistyczne rachunki zdań budowane metodą aksjomatyczną
Rozdział 3. Tezy nihilistycznych rachunków zdań
Rozdział 4. Nihilistyczne rachunki kwantyfikatorów budowane metodą aksjomatyczną
Rozdział 5. Wartościowania w nihilistycznych rachunkach zdań. Tautologie i kontrtautogie w tych rachunkach
Rozdział 6. Metoda sprawdzania tautologiczności nihilistycznych rachunków zdań
Rozdział 7. Negacje, prawdy i fałsze w logikach nihilistycznych
Rozdział 8. Wynikanie w nihilistycznych rachunkach zdań
Rozdział 9. Semantyczne opisy nihilistycznych rachunków kwantyfikatorów
Rozdział 10. Twierdzenia o relatywnych nadsystemach zupełnych dla nihilistycznych rachunków zdań. Twierdzenia o pełności tych rachunków
Rozdział 11. Twierdzenia o relatywnych nadsystemach zupełnych i konstruktywnych dla nihilistycznych rachunków kwantyfikatorów. Twierdzenia o pełności tych rachunków
Rozdział 12. Dalsze twierdzenia charakteryzujące logiki nihilistyczne
Rozdział 13. Kilka uwag o nihilistycznych rachunkach zdań z kwantyfikatorami
Rozdział 14. Nihilistyczne rachunki zdań budowane metodą założeniową
Rozdział 15. Twierdzenia o pełności nihilistycznych rachunków zdań budowanych metodą założeniową    Rozdział 16. Aksjomatyczne odrzucanie w nihilistycznych rachunkach zdań. Ł-nie-sprzeczność, Ł-zupełność i Ł-rozstrzygalność tych rachunków
Rozdział 17. Nihilistyczne rachunki zdań budowane metodą założeniową uogólnioną
Rozdział 18. Równoważność nihilistycznych rachunków zdań budowanych metodami: założeniową i założeniową uogólnioną
Rozdział 19. Założeniowe odrzucanie w nihilistycznych rachunkach zdań
Rozdział 20. Nihilistyczne rachunki zdań budowane metodą tabel analitycznych
Rozdział 21. Nihilistyczne rachunki zdań budowane metodą Gentzena
Rozdział 22. Uwagi o nihilistycznych rachunkach kwantyfikatorów budowanych metodami dedukcji naturalnej
Rozdział 23. Nihilistyczne rachunki zdań budowane metodą matrycową
Rozdział 24. Próby zastosowań logik nihilistycznych

Bibliografia

Skorowidz ważniejszych nazw
Galeria
Inni klienci kupujący ten produkt zakupili również
Arczewski Krzysztof P.
Skrypt jest przeznaczony dla studentów I roku kierunku Automatyka i Robotyka. Na wstępie podano wiadomości z rachunku wektorowego i macierzowego. Omówiono kinematykę punktu materialnego, ruch ciała sztywnego (uwzględniono szczególnie taką parametryzację ruchu tego ciała, która ma zastosowanie przy opisie ruchu elementów manipulatora), ruch złożony punktu i ciała sztywnego, ruch układów wieloczłonowych.
Kozioł Mirosław
Chociaż otaczający nas świat ma naturę analogową, to jednak ogromna większość dziedzin techniki rejestruje, przetwarza i przesyła informacje w postaci cyfrowej. Ten pęd ku dyskretyzacji ma kilka przyczyn. Jedną z nich jest większa odporność na zakłócenia. Ma to niebagatelne znaczenie w dzisiejszym zelektryfikowanym świecie. Kolejną przyczyna, przemawiającą za przetwarzaniem informacji na postać cyfrową jest możliwość realizacji różnych algorytmów przy wykorzystaniu tej samej konfiguracji...
Zapytaj o szczegóły
Imię i nazwisko:
E-mail:
Twoje pytanie:
Wpisz kod widoczny na obrazku:
weryfikator

Księgarnia Techniczna zamieszcza w ofercie głównie podręczniki akademickie oraz książki techniczne przede wszystkim z dziedzin takich jak mechanika techniczna, podstawy konstrukcji, technologia gastronomiczna. Główne wydawnictwa w ofercie to Politechnika Warszawska, Politechnika Wrocławska, Politechnika Świętokrzyska oraz POLSL.
Wszelkie sugestie odnośnie zapotrzebowania na określone książki techniczne i podręczniki akademickie prosimy zgłaszać poprzez email podany w zakładce Kontakt


Księgarnia Techniczna - XML Sitemap


Aktualna Data: 2019-09-16 18:46
© Księgarnia Techniczna. Wszelkie Prawa Zastrzeżone. All Rights Reserved.