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 wyrazasz zgode na uzycie tych ciasteczek. Wiecej informacji, w tym o mozliwosci zmiany ustawien cookies, znajdziesz w naszej Polityce Prywatnosci.
MENU
Paczkomaty 0 zł »

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

9,90 zł

Rozprawa o metodzie

Najważniejsze dzieło europejskiego racjonalizmu, a zarazem jedna z najbardziej wpływowych koncepcji nowożytnej filozofii. Kartezjusz głosi konieczność wątpienia o wszystkim, aby wyzbyć się błędnych przekonań i założeń, leżących u podstaw dotychczasowej...
39,90 zł

WOOP Skuteczna metoda osiągania celów

Pierwsza naukowo potwierdzona metoda skutecznego urzeczywistniania marzeń! Co jest twoim największym marzeniem? Do czego dążysz? Co chcesz osiągnąć? Jak chcesz zmienić swoje życie? Wyobraź sobie, że spełniasz swoje marzenie… Jak się czujesz? Czy...
28,00 zł

Metoda

Skrzyżowanie „Nostalgii anioła” i „Milczenia owiec”. Szesnastoletnia dziewczyna w ciąży zostaje uprowadzona; porywacz łapie ją na ulicy, wciąga do furgonetki, krępuje, zawiązuje jej oczy i wywozi w nieznanym kierunku. Nastolatka...
35,20 zł

Metoda wodna

Kłopoty z moczowodem, praca nad tłumaczeniem poematu z języka staro-dolno-nordyjskiego, afera narkotykowa... to tylko przykłady skrajnie odległych motywów, które występują obok siebie w tej powieści i zapewne doprowadziłyby do jej artysty...
24,90 zł

Uprawa roślin południowych metodą Miczurina

Witajcie w świecie nieokiełznanej wyobraźni i nieskrępowanej swobody literackiej. Oto bohaterowie z piekła rodem, balansujący na granicy jawy i snu, życia i śmierci. Kasztaniarz i kosmonauta, trumna z generałem Sikorskim i przygłucha Matka Boska w blas...
59,90 zł

Logika i inne sprawy

Niniejszy zbiór zawiera wybór moich artykułów opublikowanych w latach 2004–2015. Przeważają w nim prace dotyczące logiki w szerokim tego słowa znaczeniu, tj. semantyki, logiki formalnej i metodologii nauk. Aby jednak pokazać,...
49,90 zł

Logika Talmudu

Czym jest interpretacja Pisma Świętego? Czym jest egzegeza talmudyczna? Czym jest logika żydowska, logika Talmudu? Logika Talmudu z filozoficznego punktu widzenia oferuje oryginalne podejście do pragmatyki i prakseologii. W judaizmie antyplatońskie ora...
18,00 zł

Badania operacyjne. Metody i zastosowania. SE 62

Publikacja zawiera zbiór artykułów, których autorami są pracownicy Katedry Badań Operacyjnych Uniwersytetu Ekonomicznego w Katowicach. Wśród przedstawionych artykułów są opracowania o charakterze teoretycznym. Podejmo...
4,00 zł

Kompetencje samorządu terytorialnego w zakresie polityki społecznej. Samorząd terytorialny a rynki pracy - Dagmara Gil: Bezrobocie i metody przeciwdziałania temu zjawisku na przykładzie gminy Zawiercie

Część I zawiera zatem opracowania łączące się ze statusem jednostki samorządu terytorialnego jako pracodawcy oraz jego pracowników (...) Druga część książki dotyczy źródeł regulacji prawnych i kompetencji organów jednostek samorząd...

Recenzje

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