Informacja o cookies
Strona ksiegarnia.pwn.pl korzysta z plików cookies w celu dostarczenia Ci oferty jak najlepiej dopasowanej do Twoich oczekiwań i preferencji, jak również w celach marketingowych i analitycznych. Nasi partnerzy również mogą używać ciasteczek do profilowania i dopasowywania do Ciebie pokazywanych treści na naszych stronach oraz w reklamach. Poprzez kontynuowanie wizyty na naszej stronie wyrażasz zgodę na użycie tych ciasteczek. Więcej informacji, w tym o możliwości zmiany ustawień cookies, znajdziesz w naszej Polityce Prywatności.
MENU
Nagrody na zakończenie roku szkolnego

Formalizacja metod tablicowych dla logik zdań i logik nazw(eBook)

0.00  [ 0 ocen ]
 Sprawdź recenzje
Rozwiń szczegóły »
  • Wydanie: Toruń, 2013

  • Autor: Tomasz Jarmużek

  • Wydawca: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika

  • Formaty:
    PDF
    (Watermark)
    Watermark
    Znak wodny czyli Watermark to zaszyfrowana informacja o użytkowniku, który zakupił produkt. Dzięki temu łatwo jest zidentyfikować użytkownika, który rozpowszechnił produkt w sposób niezgodny z prawem. Ten rodzaj zabezpieczenia jest zdecydowanie najbardziej przyjazny dla użytkownika, ponieważ aby otworzyć książkę zabezpieczoną Watermarkiem nie jest potrzebne konto Adobe ID oraz autoryzacja urządzenia.

Dostępne formaty i edycje
Rok wydania
Cena
Cena detaliczna: 39,85 zł
35,87
Cena zawiera podatek VAT.
Oszczędzasz 3,98 zł
Dodaj do schowka
Wysyłka: online

Formalizacja metod tablicowych dla logik zdań i logik nazw

Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia dowodu tablicowego – czyli tzw. tablicy - a co za tym idzie, formalnego sformułowania pojęć pomocniczych, które towarzyszą definiowaniu systemu tablicowego. W pracy przeanalizowano m.in. pojęcia reguły tablicowej, gałęzi oraz tablicy, proponując ich ogólne i czysto formalne ujęcie. „Rozprawa habilitacyjna dra Tomasza Jarmużka dotyczy precyzyjnego określenia metody tablicowej. Pozwala to na jej metateoretyczne badanie. Autor podaje bardzo ogólne określenie tej metody, stosowalne w różnego rodzaju logikach. Od tego ogólnego opisu przechodzi do opisów bardziej szczegółowych, stosowalnych w poszczególnych rodzajach logik bądź nawet w ich konkretnych systemach. […] Istotne jest również to, że praca jest pierwszym w Polsce opracowaniem formalizacji metod tablicowych dla logik zdań i logik nazw (jest także ich unikalnym opracowaniem w skali światowej, co jednak miałoby znaczenie dopiero po przetłumaczeniu książki na język angielski).” Fragment recenzji Prof. dr. hab. Andrzeja Pietruszczaka „Podejmowana w recenzowanej pracy problematyka jest poważna i godna uwagi. Metody tablicowe stanowią ważną, wciąż nie w pełni zrozumianą technikę rachunkową. […] Zastosowanie tych metod jest szerokie i coraz szersze, również w dydaktyce. Zazwyczaj metody te są ujmowane pół formalnie, pół intuicyjnie. W szczególności zazwyczaj są traktowane pragmatycznie. Praca Tomasza Jarmużka jest jedną z mniej licznych prób konsekwentnie apragmatycznego podejścia do tych metod. Stanowi realny postęp w wiedzy o metodach tablicowych.” Fragment recenzji Prof. dr. hab. Marcina Tkaczyka

  • Sposób dostarczenia produktu elektronicznego
    Produkty elektroniczne takie jak Ebooki czy Audiobooki są udostępniane online po opłaceniu zamówienia kartą lub przelewem na stronie Twoje konto > Biblioteka.
    Pliki można pobrać zazwyczaj w ciągu kilku-kilkunastu minut po uzyskaniu poprawnej autoryzacji płatności, choć w przypadku niektórych publikacji elektronicznych czas oczekiwania może być nieco dłuższy.
    Sprzedaż terytorialna towarów elektronicznych jest regulowana wyłącznie ograniczeniami terytorialnymi licencji konkretnych produktów.
  • Ważne informacje techniczne
    Minimalne wymagania sprzętowe:
    procesor: architektura x86 1GHz lub odpowiedniki w pozostałych architekturach
    Pamięć operacyjna: 512MB
    Monitor i karta graficzna: zgodny ze standardem XGA, minimalna rozdzielczość 1024x768 16bit
    Dysk twardy: dowolny obsługujący system operacyjny z minimalnie 100MB wolnego miejsca
    Mysz lub inny manipulator + klawiatura
    Karta sieciowa/modem: umożliwiająca dostęp do sieci Internet z prędkością 512kb/s
    Minimalne wymagania oprogramowania:
    System Operacyjny: System MS Windows 95 i wyżej, Linux z X.ORG, MacOS 9 lub wyżej, najnowsze systemy mobilne: Android, iPhone, SymbianOS, Windows Mobile
    Przeglądarka internetowa: Internet Explorer 7 lub wyżej, Opera 9 i wyżej, FireFox 2 i wyżej, Chrome 1.0 i wyżej, Safari 5
    Przeglądarka z obsługą ciasteczek i włączoną obsługą JavaScript
    Zalecany plugin Flash Player w wersji 10.0 lub wyżej.
    Informacja o formatach plików:
    • PDF - format polecany do czytania na laptopach oraz komputerach stacjonarnych.
    • EPUB - format pliku, który umożliwia czytanie książek elektronicznych na urządzeniach z mniejszymi ekranami (np. e-czytnik lub smartfon), dając możliwość dopasowania tekstu do wielkości urządzenia i preferencji użytkownika.
    • MOBI - format zapisu firmy Mobipocket, który można pobrać na dowolne urządzenie elektroniczne (np.e-czytnik Kindle) z zainstalowanym programem (np. MobiPocket Reader) pozwalającym czytać pliki MOBI.
    • Audiobooki w formacie MP3 - format pliku, przeznaczony do odsłuchu nagrań audio.
    Rodzaje zabezpieczeń plików:
    • Watermark - (znak wodny) to zaszyfrowana informacja o użytkowniku, który zakupił produkt. Dzięki temu łatwo jest zidentyfikować użytkownika, który rozpowszechnił produkt w sposób niezgodny z prawem. Ten rodzaj zabezpieczenia jest zdecydowanie bardziej przyjazny dla użytkownika, ponieważ aby otworzyć książkę zabezpieczoną Watermarkiem nie jest potrzebne konto Adobe ID oraz autoryzacja urządzenia.
    • Brak zabezpieczenia - część oferowanych w naszym sklepie plików nie posiada zabezpieczeń. Zazwyczaj tego typu pliki można pobierać ograniczoną ilość razy, określaną przez dostawcę publikacji elektronicznych. W przypadku zbyt dużej ilości pobrań plików na stronie WWW pojawia się stosowny komunikat.
Słowo wstępne / 8

Rozdział 1. Wprowadzenie / 11
1.1. Metody tablicowe / 11
1.2. Terminologia i problemy występujące w książce / 17
1.2.1. Plan i cele pracy / 17
1.2.2. Terminologia oraz zagadnienia występujące w książce / 20
1.3. Oznaczenia i pojęcia teoriomnogościowe / 26

Rozdział 2. System tablicowy dla Klasycznej Logiki Zdań / 28
2.1. Uwagi wstępne / 28
2.2. Język i semantyka / 29
2.3. Podstawowe pojęcia systemu tablicowego dla KLZ / 31
2.3.1. Reguły tablicowe dla KLZ / 31
2.3.2. Gałęzie dla KLZ / 39
2.3.3. Gałęzie maksymalne / 46
2.3.4. Gałęzie zamknięte i otwarte / 51
2.3.5. Relacja konsekwencji gałęziowej / 52
2.4. Relacje konsekwencji semantycznej i konsekwencji gałęziowej / 53
2.4.1. Twierdzenie o zgodności / 53
2.4.2. Twierdzenie o pełności / 57
2.5. Tablice dla KLZ a relacja konsekwencji semantycznej / 61
2.6. Podsumowanie / 72

Rozdział 3. System tablicowy dla Logiki Nazw / 74
3.1. Uwagi wstępne / 74
3.2. Język i semantyka / 75
3.3. Podstawowe pojęcia systemu tablicowego dla LN /83
3.3.1. Reguły tablicowe dla LN / 85
3.3.2. Gałęzie dla LN / 90
3.3.3. Gałęzie maksymalne /92
3.3.4. Gałęzie zamknięte i otwarte / 94
3.3.5. Relacja konsekwencji gałęziowej / 97
3.4. Tablice dla LN / 99
3.5. Twierdzenie o pełności systemu tablicowego dla LN / 107
3.5.1. Oszacowanie mocy modelu dla LN / 112

Rozdział 4. System tablicowy dla logiki modalnej S5 /115
4.1. Uwagi wstępne / 115
4.2. Język i semantyka / 116
4.3. Podstawowe pojęcia systemu tablicowego dla S5 /122
4.3.1. Reguły tablicowe dla S5 / 125
4.3.2. Gałęzie dla S5 / 131
4.3.3. Gałęzie zamknięte i otwarte / 132
4.3.4. Gałęzie maksymalne / 132
4.3.5. Relacja konsekwencji gałęziowej / 138
4.4. Tablice dla S5 / 139
4.5. Twierdzenie o pełności systemu tablicowego dla S5 / 143

Rozdział 5. Metateoria systemów tablicowych dla logik zdań i logik nazw / 180
5.1. Uwagi wstępne / 180
5.2. Język i semantyka / 180
5.3. Podstawowe pojęcia systemu tablicowego / 189
5.4. Reguły tablicowe / 194
5.4.1. Gałęzie / 198
5.4.2. Gałęzie zamknięte i otwarte / 200
5.4.3. Gałęzie maksymalne / 200
5.4.4. Relacja konsekwencji gałęziowej / 202
5.5. Tablice / 203
5.6. Twierdzenie o pełności / 205

Rozdział 6. Przykłady zastosowań / 223
6.1. Uwagi wstępne / 223
6.2. System tablicowy dla Modalnej Logiki Nazw de re /  224
6.2.1. Język / 225
6.2.2. Semantyka / 226
6.2.3. Wyrażenia tablicowe / 229
6.2.4. Reguły dla systemu tablicowego dla logiki MLN / 232
6.2.5. Gałęzie i tablice dla MLN / 235
6.2.6. Twierdzenie o pełności systemu tablicowego dla MLN / 235
6.2.7. Oszacowanie mocy modelu dla MLN / 244
6.3. Systemy tablicowe dla logik modalnych / 244
6.3.1. Język, semantyka / 245
6.3.2. Wyrażenia tablicowe / 245
6.3.3. Reguły, gałęzie i tablice dla logik modalnych / 248
6.3.4. Generowanie modelu / 249
6.3.5. Twierdzenie o pełności systemów tablicowych dla logik modalnych / 251
6.4. System tablicowy / 252
6.5. Przejście od tablic sformalizowanych do tablic standardowych / 253

Wykaz symboli /258
Wykaz pojęć / 260
Literatura / 262
NAZWA I FORMAT
OPIS
ROZMIAR

Przeczytaj fragment

4,99 zł

Emil Zola jego metoda

Sygietyński Antoni, pseudonim Gosławiec (1850-1923), polski prozaik, krytyk literacki, artystyczny i muzyczny. Studiował matematykę w Warszawskiej Szkole Głównej i w Instytucie Muzycznym. 1875-1876 kontynuował naukę muzyki w Lipsku, 1878-1882 st...
4,99 zł

Logika

Obszerny i nawet rozwlekły podręcznik. Autor, słynny filozof angielski, empiryk, miał na względzie interesy ucznia, zwłaszcza studenta, przygotowującego się do egzaminu, ale wykład jego często jest niespójny, przeładowany uwagami luźnymi. Zagadn...
4,99 zł

Miłosierdzie gminy

Ukazana w utworze sytuacja jest odbiciem autentycznej, nieludzkiej szwajcarskiej praktyki wystawiania nędzarzy na publiczną licytację. Takiego człowieka kupował każdy, kto wygrał przetarg, zadowolił się najmniejszą dopłatą z gminnej kasy. Oczywiście, s...
4,99 zł

Pochwała Andrzeja Zamoyskiego

Staszic Stanisław (1755-1826), polski mieszczanin, ksiądz, uczony, filozof, geolog i geograf, działacz polityczny i oświatowy, jeden z najwybitniejszych przedstawicieli polskiego oświecenia, prekursor badań terenowych i turystyki górskiej. Studi...
4,99 zł

Początek świata pracy

Żeromski Stefan, pseudonimy Maurycy Zych, Józef Katerla (1864-1925), prozaik, dramatopisarz, publicysta. Pochodził ze zubożałej rodziny szlacheckiej. Studia w Instytucie Weterynaryjnym w Warszawie przerwał 1888 z braku środków do życia. N...
4,99 zł

Don Kichot z La Manchy

Arcydzieło literatury światowej, autorstwa Miguela de Cervantesa (1547–1616), pisarza hiszpańskiego. W pierwotnym zamyśle utwór miał być parodią popularnych romansów rycerskich, jednak Cervantes rozwinął dzieło w krytyczny obraz spo...
4,99 zł

Wskazówki niezbędne dla urządzających teatr amatorski

Dzieło Zygmunta Niedźwieckiego. Zygmunt Niedźwiecki to prozaik. Ulegał tendencjom naturalistycznym, prezentując pesymistyczny obraz społeczeństwa i podlegającego zwierzęcym instynktom człowieka. Prawie przez całe życie mieszkał w Krakowie, gdzie zajmow...
4,99 zł

Cierpliwość czy rewolucja

Stefan Buszczyński w młodości związany był ze środowiskami radykalnymi i spiskowymi, z czasem przeszedł na pozycje bardziej zachowawcze, nie wierząc w powodzenie ruchu zbrojnego, czemu dał wyraz w ogłoszonej w 1862 r. w Paryżu broszurze "Cierpliwo...
4,99 zł

Krwawe łzy untów polskich

Dzieło Teodora Jeske-Choińskiego. Teodor Jeske-Choiński to syn urzędnika sądowego, pisarz, konserwatysta (choć przez chwilę z zacięciem pozytywistycznym) i krytyk, z wykształcenia inżynier i filozof. Teodor Jeske-Choiński blisko przyjaźnił się z Sienki...

Recenzje

Nikt nie dodał jeszcze recenzji. Bądź pierwszy!