Ostatnio przeglądane

Tagi

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

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