Temat: Predykat (logika). - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Predykat (logika)." wg kryterium: Temat

Źródło danych

Wyświetlanie 1-27 z 27

Zaznacz stronę

Skocz do pozycji 1.

Tytuł pełny:: Aristotle's theory of predication / by Allan T. Bäck
Wydawca:: Leiden : Brill
Rok wydania:: 2000
Seria:: Philosophia Antiqua, 0079-1687 ; vol. 84
Temat:: Aristoteles (384-322 p.n.e.) - krytyka i interpretacja.
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Logic and philosophy : a modern introduction / Alan Hausman, Howard Kahane, Paul Tidman
Wydawca:: Boston : Wadsworth
Wydanie:: 11th ed
Rok wydania:: cop. 2010
Temat:: Logika.
Filozofia.
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Predykacja : elementy ontologii formalnej przedmiotów własności i sytuacji / Jacek Paśniczek
Wydawca:: Kraków : Copernicus Center Press
Rok wydania:: 2014
Temat:: Logika.
Kategorie (filozofia).
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: The logic book / Merrie Bergmann, James Moor, Jack Nelson
Wydawca:: Boston [etc.] : McGraw-Hill Higher Education
Wydanie:: 5th ed
Rok wydania:: cop. 2009
Temat:: Logika symboliczna i matematyczna.
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Prädikatenkalkül der ersten Stufe / von Günter Asser
Wydawca:: Leipzig : BSB B. G. Teubner Verlagsgesellschaft
Rok wydania:: 1972
Seria:: Einführung in die mathematische Logik / G. Asser ; T. 2
Mathematisch-Naturwissenschaftliche Bibliothek ; Bd. 19
Temat:: Logika symboliczna i matematyczna.
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Prädikatenlogik höherer Stufe / Günter Asser
Wydawca:: Leipzig : BSB B. G. Teubner Verlagsgesellschaft
Rok wydania:: 1981
Seria:: Einführung in die mathematische Logik / G. Asser ; T. 3
Mathematisch-Naturwissenschaftliche Bibliothek ; Bd. 20
Temat:: Logika symboliczna i matematyczna.
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Game-theoretical semantics : essays on semantics / by Hintikka [et al.] ; ed. by Esa Saarinen
Wydawca:: Dordrecht ; Boston ; London : D. Reidel Publishing Company
Rok wydania:: cop. 1979
Seria:: Synthese Language Library ; vol. 5
Temat:: Semantyka - modele matematyczne.
Teoria gier.
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Systemy Herbranda dowodzenia twierdzeń rachunku predykatów / Ewa Orłowska ; Polska Akademia Nauk. Centrum Obliczeniowe
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1976
Temat:: Predykat (logika).
Twierdzenie Herbranda.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Dedykacja wśród ludzi nauki - leksem, predykat, pojęcie / Krystyna Kleszczowa, Kamilla Termińska
Temat:: Dedykacje.
Intencjonalność (filozofia).
Kategoryzacja (językoznawstwo).
Predykat (logika).
Dedykacja (wyraz polski).

Praca. Artykuł

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Rola kwantyfikatorów w interpretacji semantycznej zdania / Aleksy Mołczanow ; Wyższa Szkoła Pedagogiczna w Rzeszowie
Wydawca:: Rzeszów : WSP
Rok wydania:: 1990
Temat:: Zdania.
Semantyka.
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Sztuka rozumowania w świetle logiki / Witold Marciszewski
Wydawca:: Warszawa : Aleph
Rok wydania:: 1994
Seria:: Cogito
Temat:: Predykat (logika).
Rachunek zdań.
Rozumowanie.
Teoria funktorów.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Logika z retorycznego punktu widzenia / Witold Marciszewski ; Zakład Semiotyki Logicznej Uniwersytetu Warszawskiego
Wydawca:: Warszawa : ZSL UW : PTS
Rok wydania:: 1991
Seria:: Biblioteka Myśli Semiotycznej, 0867-2261 ; 13
Temat:: Retoryka - filozofia.
Predykat (logika).
Definicja (językoznawstwo).
Argumentacja.
Logika.
Rozumowanie.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Properties and propositions : the metaphysics of higher-order logic / Robert Trueman
Wydawca:: Cambridge [i pozostałe] : Cambridge University Press
Wydanie:: First paperback edition
Rok wydania:: 2022
Temat:: Metafizyka.
Tropy (filozofia).
Predykat (logika).
Gatunek / Forma:: Książki
Publikacje naukowe
Monografia

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Aristotle's modal syllogistic / Marco Malink
Wydawca:: Cambridge ; London : Harvard University Press
Rok wydania:: 2013
Temat:: Aristoteles (384-322 p.n.e.).
Logika starożytna.
Modalność (logika).
Sylogizm.
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Wizja i argumentacja w filozofii : od lektury Homera do teorii metatekstu / Alfred Gawroński ; współprac. Jakub Gomułka
Wydawca:: Kraków : Wydawnictwo Znak
Rok wydania:: 2011
Temat:: Homerus (8..-7.. p.n.e.). Ilias
Argumentacja (logika).
Prawda.
Paradoks.
Analiza (filozofia).
Filozofia - język.
Metajęzyk.
Predykat (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture / J. Y. Girard. ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1976
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne ; 136
Temat:: Logika wielowartościowa.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Klasyczny rachunek kwantyfikatorów : zarys teorii / Witold A. Pogorzelski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1981
Temat:: Logika symboliczna i matematyczna.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Quantoren - Modalitäten - Paradoxien : Beiträge zur Logik / hrsg. von Horst Wessel ; [übers. von Horst Wessel, et al.]
Wydawca:: Berlin : VEB Deutscher Verlag der Wissenschaften
Rok wydania:: 1972
Temat:: Rachunek kwantyfikatorów.
Modalność (logika).
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen
Wydawca:: Dordrecht [etc.] : D. Reidel Publishing Company
Rok wydania:: cop. 1979
Seria:: Synthese Library ; vol. 127
Temat:: Modalność (logika).
Teoria modeli.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Relational quantifiers / Michał Krynicki ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Instytut Matematyczny PAN
Rok wydania:: 1995
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 347
Temat:: Rachunek kwantyfikatorów.
Logika symboliczna i matematyczna.
Teoria krat.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Definable quantifiers in second order arithmetic and elementary extensions of [omega]-models / Wojciech Guzicki ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1983
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 208
Temat:: Rachunek kwantyfikatorów.
Teoria modeli.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Tableau systems for first order number theory and certain higher order theories / Sue Toledo
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1975
Seria:: Lecture Notes in Mathematics, 0075-8434 ; 447
Temat:: Logika symboliczna i matematyczna.
Teoria dowodu.
Rachunek kwantyfikatorów.
Teoria liczb.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: On sentences provable in impredicative extensions of theories / Zygmunt Ratajczyk ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1979
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 178
Temat:: Aksjomatyczna teoria zbiorów.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Sekwencyjna postać logik skończenie wielowartościowych : automatyzacja dowodzenia twierdzeń / Piotr Borowik
Wydawca:: Częstochowa : Wydawnictwo Wyższej Szkoły Pedagogicznej
Rok wydania:: 2001
Temat:: Automatyczne dowodzenie twierdzeń.
Rachunek kwantyfikatorów.
Logika wielowartościowa.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Aussagenlogik, Mengen, Relationen / Hans-Dieter Gerster
Wydawca:: Freiburg [etc.] : Herder
Wydanie:: 4. Aufl
Rok wydania:: cop. 1976
Seria:: Studienbücher Mathematik
Temat:: Rachunek kwantyfikatorów.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Istnienie i logika : studia z filozofii / Leon Gumański
Wydawca:: Toruń : Wydawnictwo Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2006
Temat:: Istnienie (filozofia).
Aksjomatyka.
Rachunek kwantyfikatorów.
Logika deontyczna.
Epistemologia.
Logika.
Filozofia.
Sąd.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Rachunki sekwentowe w logice klasycznej / Andrzej Indrzejczak
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Rok wydania:: 2013
Temat:: Teoria dowodu.
Rachunek zdań.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Wyświetlanie 1-27 z 27

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz

Informacja

Wyszukujesz frazę "Predykat (logika)." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu