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.
Podręczniki akademickie »
MENU
Podręczniki akademickie »

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

Inni Klienci oglądali również

Wybrane aspekty zrównoważonego rozwoju a jakość życia (red.) Monika Piśniak, Ireneusz Miciuła, Anna Nurzyńska - 2.JAKOŚĆ ŻYCIA – DEFINICJA, ISTOTA I METODY POMIARU

Słowem redaktorów ROZDZIAŁ I. UJĘCIE FILOZOFICZNE POJĘCIA ZRÓWNOWAŻONEGO ROZWOJU Zrównoważony rozwój stanowi problem wielowymiarowy. Wymaga prowadzenia badań inter- oraz multidyscyplinarnych. Dlatego też jest przedmiotem zai...
38,00 zł

Dekalog współczesnego zarządzania. Najnowsze nurty, koncepcje, metody

Dekalog współczesnego zarządzania to książka, która wyznacza nowe trendy w nauczaniu koncepcji i metod zarządzania. Autorzy celowo pomijają w niej powszechnie znane podejścia, które można byłoby już zaliczyć do historii nauk o zarz...
19,10 zł

Poznaj swoje anioły. Nowe metody kontaktu z niebiosami

Pierwsza pozycja kompleksowo analizująca metody komunikowania się z wysłannikami niebios. Ella Selena – jedna z najpopularniejszych polskich wróżek wyjaśnia, jak wygląda Twój osobisty anioł i w jaki sposób możesz się z nim sk...

Edukacja polonistyczna jako zobowiązanie. Powszechność i elitarność polonistyki. T. 1 - 39 Nazwy terenowe a kształtowanie wiedzy uczniów o ich małej ojczyźnie

„W pierwszym tomie zgromadzono artykuły podzielone na pięć tematycznych rozdziałów, rozpoczynając od diagnoz, oczekiwań i prognoz. Treść rozdziału pierwszego: Edukacja humanistyczna — dziś i jutro. Diagnoza — oczekiwania &mdash...

Normowanie pracy – metody

Normy produkcyjne powinny być w założeniu rzeczywistym narzędziem usprawniającym Twoją codzienną pracę, a nie sztucznym wytworem. O 9 skutecznych metodach normowania pracy przeczytasz niniejszym opracowaniu. Przedstawiono tu: metodę bezpośredniego pomi...
2,00 zł

W komunikacyjnej przestrzeni nazw własnych i pospolitych - 12 Nazewnictwo polonijne — łącznik między "starym" a "nowym" krajem

Zbiorowy tom poświęcony Profesorowi Robertowi Mrózkowi charakteryzuje się rozmaitością tematyczną i metodologiczną. Dzieli się na trzy części: I. W przestrzeni onimicznej, II. W przestrzeni apelatywnej, III. W przestrzeni komunikacyjnej. R&oacut...
57,14 zł

Metody i narzędzia modelowania nadwodnych przestrzeni publicznych na przykładzie Bulwarów Nadwarciańskich w Koninie

Wśród wielu czynników miastotwórczych i kulturotwórczych, które mają wpływ na kształtowanie przestrzeni i interakcji miejskich oraz aktywizację gospodarczą miast i regionów warto wymienić lokację nad brzegami r...

Wybrane aspekty w zarządzaniu organizacją XXI wieku Innowacje – Gospodarka – Społeczeństwo (red.) Joanna Nowakowska-Grunt, Ireneusz Miciuła - 24.METODY ANALIZY STRATEGICZNEJ JAKO NARZĘDZIE OCENY KONKURENCYJNOŚCI PRODUKTÓW TURYSTYCZNYCH OBSZARU

Słowem redaktorów Monografia „Wybrane aspekty w zarządzaniu organizacją XXI wieku” jest efektem teoretycznych i praktycznych badań wielu autorów z różnych ośrodków akademickich, których głównym cele...
2,00 zł

Dziecko w świecie innowacyjnej edukacji, współdziałania i wartości. T. 2 - 08 Jak współdziałać z dzieckiem w przedszkolu? – czyli o roli metod aktywizujących w pracy nauczyciela

Przedstawiona w dwóch tomach monografia pt. Dziecko w świecie innowacyjnej edukacji, współdziałania i wartości stanowi oryginalne opracowanie w zakresie szeroko rozumianej twórczości dziecka i twórczej pracy nauczyciela. Pub...

Recenzje

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