Ostatnio przeglądane

  • NIECO Z PIELGRZYMKI DO PADWY, LORETU, ASYŻU I RZYMU W MAJU ROKU 1895 - FRANCISZEK PIECHOTTA
    Nieco z...

    wydał, wstępem, przypisami i aneksem...>>

  • PRACE Z ZAKRESU PRAWA  OCHRONY DÓBR KULTURY  I WŁASNOŚCI INTELEKTUALNEJ
    Prace z...

    red. naukowa: Włodzimierz Kaczorowski,...>>

  • Studia linguistica in honorem Edvardi Breza
    Studia...

    wyd. 2008 r., stron 388, przypisy,...>>

Tagi

Śląsk historia Górny Śląsk prawo sztuka religia kościół architektura kultura Opole Polska zabytki polityka socjologia psychologia malarstwo muzeum Katowice policja pedagogika fotografia dzieje zarządzanie szkoła archeologia administracja ekonomia kobieta literatura średniowiecze język Niemcy Żydzi miasto wojna prasa Wrocław budownictwo media społeczeństwo edukacja Gliwice Racibórz wojsko etnologia starożytność katalog językoznawstwo Bytom marketing filozofia dziennikarstwo dzieci etnografia film wykopaliska parafia XIX w. dziecko geografia Rzym wystawa kolekcja przyroda Europa rodzina wychowanie Cieszyn grafika słownik ekologia Kraków Rosja komunikacja technika śmierć nauczyciel rozwój ksiądz medycyna Czechy Śląsk Cieszyński antyk przemysł biografia Częstochowa semen nauka muzyka Łódź terapia tradycja plebiscyt urbanistyka Ukraina górnictwo kresy teatr BEZPIECZEŃSTWO ochrona sąd reklama liturgia Grecja klasztor człowiek biblia badania pocztówki choroba Judaica Zaolzie poezja ustrój teoria szkolnictwo internet kult literaturoznawstwo II RP młodzież proza krajobraz proces folklor rzeźba Nysa PRL życie Poznań kopalnia biznes skarby zakon wspomnienia region kino synagoga turystyka etyka emigracja planowanie antropologia teologia Warszawa państwo Śląsk Opolski II wojna światowa Bóg Bizancjum przestrzeń miasta radio władza transport przestępstwo Unia Europejska usługi zdrowie dziedzictwo telewizja praca niepełnosprawność oświata Bielsko-Biała Sosnowiec dwór wizerunek biskup przedsiębiorstwo kościoły cystersi pamięć nauczanie szlachta samorząd rysunek las samorząd terytorialny kulturoznawstwo historia kultury matematyka plastyka UE obóz Opolszczyzna logistyka gwara sport Rudy naród pałac przestępczość ciało lwów rozwój przestrzenny gospodarka gender Konstytucja kultura łużycka informacja fizyka więzienie dydaktyka prawosławie farmacja uczeń tożsamość Litwa stara fotografia finanse pielgrzymka sztuka nieprofesjonalna słowianie mechanika katastrofa Pszczyna Chorzów XIX wiek energetyka Zabrze cesarz duchowieństwo środowisko Białoruś powstania śląskie wiara archiwalia resocjalizacja Zagłębie Dąbrowskie logika demokracja Kaszuby podróże Góra Św. Anny język polski legenda prawo karne XX wiek powieść islam Monachium język niemiecki Świdnica opieka hagiografia cenzura granica Księstwo Opolskie ekonomika rewitalizacja filologia technologia książka historia sztuki reportaż demografia dyskurs Wielkopolska regionalizm 1939 powstania łacina kolej polszczyzna modernizm Żyd USA diecezja sentencje historiografia sanacja Galicja dom kryminalistyka energia atlas mapa sanktuarium protestantyzm Gombrowicz pomoc społeczna Rej Polacy cesarstwo uniwersytet inzynieria stres fotografia artystyczna Odra Ameryka twórczość handel miłość artysta kartografia zwierzęta Cesarstwo Rzymskie tekst okupacja Jan Będzin hutnictwo Prezydent projekt geologia Francja rynek barok Strzelce Opolskie wolność narodowość księga Dominikanie Pomorze neolit metalurgia studia miejskie gazeta służba reprint kulinaria informatyka procesy zamek projektowanie slawistyka integracja granice public relations antologia XX w. szczęście prawo europejskie mediacja zachowanie urbanizacja zwyczaje Anglia ludzie powódź materiałoznawstwo inżynieria materiałowa konflikt autonomia frazeologia Hegel Krapkowice osadnictwo konsumpcja metodologia propaganda Izrael język angielski księstwo flora praktyka mniejszość esej rzeka jedzenie zabytek Indie ikona wywiad kara pracownik socjalny kryzys jubileusz Siewierz gimnazjum organizacja III Rzesza myśli fauna Gdańsk przemoc przedszkole terroryzm Prusy pożar mieszkańcy Słowacja identyfikacja konserwacja dramat muzealnictwo modelowanie Chorwacja inwestycje apteka komunikowanie konkurencyjność Nietzsche kronika broń Włochy bank nazizm Wilno firma wino szkice W Rybnik strategie hobby Gleiwitz lęk kształcenie wybory Italia psychika woda Fabian Birkowski aksjologia feminizm Conrad humanizm anglistyka pradzieje AZP album pies politologia kolekcjonerstwo infrastruktura gotyk jaskinia socrealizm medycyna ludowa Romowie historia literatury Japonia zielnik papież psychologia osobowości Jura biblioteka kościół katolicki korupcja Kant sacrum ryzyko mit język rosyjski wody analiza Miłosz leksyka Habermas święty Białoszewski książę ROSYJSKI semantyka genetyka POLONISTYKA Piłsudski farmakopea interpretacje dokumenty fałszerstwo epoka brązu biologia postępowanie administracyjne franciszkanie żegluga katedra przesladowania Łambinowice globalizacja plan wieś etniczność polski Grodków rasa Matejko leki ołtarz etymologia podręcznik gmina industrializacja autyzm lotnictwo Ślązacy Beskidy grodziska Jasna Góra kodeks medioznawstwo pocztówka prawa człowieka kapitał dyplomacja Hiszpania hermeneutyka pogrzeb powstanie śląskie święci topografia migracja postępowanie Wittgenstein DNA wielokulturowość kompozytor 1914 przepisy Bydgoszcz psychologia rozwojowa botanika ryby prawo cywilne ochrona środowiska rzecznik system więziennictwo produkt Wielka Brytania Chiny złote pamiętnik metropolia transformacja problematyka król klient kalendarz Ruda Śląska komiks Niemodlin Hitler Polonia dusza Księstwo Raciborskie pisarz narkotyki karne osady pacjent chrześcijaństwo kicz katolicyzm socjalizacja osobowość leczenie Mikołów poradnik 1921 ikonografia monografia zawód endecja symbol wartości prawo międzynarodowe tkanina odpust pragmatyzm natura Twardowski buddyzm Huculszczyzna Kattowitz aforyzmy mowa toponimia Derrida eucharystia Bończyk mężczyzna cierpienie zamiast unia strój ludowy chrystologia retoryka Siemianowice Śląskie antroponimia Kujawy gleba biografie proboszcz Przewodnik gramatyka Kanada Kluczbork moralność hydrotechnika międzynarodowe wizja sekularyzacja ptaki 1945 dieta geneza huta

Szukaj

Metody refutacyjne w badaniach nad systemami logicznymi - ROBERT SOCHACKI

Metody refutacyjne w badaniach nad systemami logicznymi - ROBERT SOCHACKI

rok wyd. 2010, stron 121, bibliografia, indeks rzeczowy, miękka oprawa foliowana, format ok. 23,5 cm x 16,5 cm


Więcej szczegółów


24,99 zł

Stan: Tego produktu brak w magazynie

30 other products in the same category:

Z notatki wydawniczej :

W monografii rozważa się rachunki zdaniowe wielowartościowe oraz rachunki zdaniowe z grupy „nonsense-logic”, dla których podaje się odpowiednio skonstruowane aksjomaty odrzucone (formuły, które nie są tezami).
Przy pomocy tych aksjomatów oraz tylko jednej reguły odrzucania (reguły odrzucania przez odrywanie) odrzuca się dowolną formułę, która nie jest tezą danego rachunku, dowodząc tym samym pewną własność tych rachunków zwaną Ł-rozstrzygalnością. W pracy stosuje się także technikę odrzucania i uznawania wyrażeń do weryfikacji formuł w pewnej klasie systemów modalnych.

Praca jest adresowana do pracowników naukowo-dydaktycznych oraz studentów (doktorantów), zajmujących się problematyką aksjomatyzacji (części uznanej i odrzuconej) systemów dedukcyjnych, a także problematyką związaną z weryfikacją formuł w systemach logicznych.



SPIS TREŚCI :

Wstęp

Rozdział 1. Aksjomatyczne odrzucanie w wielowartościowych inwariantnych rachunkach zdaniowych Łukasiewicza

1.1. Inwariantne systemy definicyjne pełne

1.2. Inwariantne systemy implikacyjno-negacyjne

1.3. Inwariantne systemy czysto implikacyjne

1.4. Inwariantne systemy czysto implikacyjne nieskończenie wartościowe

Rozdział 2. Ł-rozstrzygalność pewnych inwariantnych rachunków zdaniowych

2.1. Ł-rozstrzygalność inwariantnego wielowartościowego implikacyjno-negacyjnego rachunku zdaniowego Sobocińskiego

2.2. Ł-rozstrzygalność systemu nonsense-logic Finna

2.3. Ł-rozstrzygalność logiki W

Rozdział 3. Zastosowanie metody uznawania i odrzucania wyrażeń do badania tez modalnych rachunków zdaniowych

Rozdział 4. Weryfikacja formuł w węższych rachunkach kwantyfikatorów nadbudowanych nad modalnymi rachunkami zdaniowymi

Bibliografia

Indeks rzeczowy


Koszyk  

Brak produktów

Dostawa 0,00 zł
Suma 0,00 zł

Realizuj zamówienie

Szukaj