Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Biblioteka  Akademii Nauk Stosowanych w Gnieźnie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteka  Akademii Nauk Stosowanych w Gnieźnie

Wyszukujesz frazę "language of logic" wg kryterium: Wszystkie pola

  Lista filtrów
Dostawca treści
Wyrównaj
Wyświetlanie 1-100 z 113
Tytuł:
Estetyka a granice języka. Ludwig Wittgenstein i Arthur C. Danto
Aesthetics and borders of language. From Ludwig Wittgenstein to Arthur C. Danto
Autorzy:
Glazor-Pomykała, Karolina
Data publikacji:
2016
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Instytut Filozofii i Socjologii
Tematy:
ludwig wittgenstein
arthur c. danto
family resemblance
language game
language of philosophy
essence of art
essence of reality
language of logic
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Matematyczne narzędzia stosowane do reprezentacji wiedzy o wadach wyrobów metalowych
Autorzy:
Kluska-Nawarecka, S.
Adrian, A.
Durak, J.
Mrzygłód, B.
Wilk-Kołodziejczyk, D.
Data publikacji:
2005
Słowa kluczowe:
diagnostyka wad
wyroby hutnicze
reprezentacja wiedzy
formalizacja wiedzy
logiki
wnioskowanie
język logiki
diagnostics of defects
steel products
knowledge representation
knowledge formalization
logic
deductions
language of logic
Pokaż więcej
Dostawca treści:
BazTech
Artykuł
Szczegóły
Tytuł:
On Some Language Extension of Logic MR: A Semantic and Tableau Approach
O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau
Autorzy:
Jarmużek, Tomasz
Parol, Aleksander
Data publikacji:
2021-01-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
rozszerzenie minimalnej logiki pozycyjnej
MR
logika pozycyjna
operator realizacji
metody tableau
extension of minimal positional logic
positional logic
realization operator
tableau methods
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Ludwig Wittgenstein and Fritz Mauthner: The significance of thesis 4.0031 for the interpretation of Tractatus Logico‑Philosophicus
Ludwig Wittgenstein i Fritz Mauthner. Znaczenie tezy 4.0031 dla interpretacji Traktatu logiczno-filozoficznego
Autorzy:
Dobrzeniecki, Marek
Tematy:
critique of language
logic of language
the materialistic interpretation of the TLP
F. Mauthner
the resolute interpretation of the TLP
L. Wittgenstein
word fetishism
fetyszyzm słowny
krytyka języka
logika języka
materialistyczna interpretacja „Traktatu”
zdecydowana interpretacja „Traktatu”
Nauki Humanistyczne i Społeczne
Pokaż więcej
Dostawca treści:
CEJSH
Artykuł
Szczegóły
Tytuł:
Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu
The theory of hereditarily finite sets as an example of an application of the first order logic language
Autorzy:
Czubin, Adrianna
Słowa kluczowe:
logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości
mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms
Pokaż więcej
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Inne
Szczegóły
Tytuł:
Logika i jej zastosowanie w świetle wczesnej filozofii Ludwiga Wittgensteina. Ideografia logiczna a język naturalny
Logic and Its Application in the Light of Ludwig Wittgensteins Early Philosophy. Logical Notation and Natural Language
Autorzy:
Radzki, Mateusz Marek
Data publikacji:
2010-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Logic and Its Application in the Light of Ludwig Wittgensteins Early Philosophy. Logical Notation and Natural Language
Logika i jej zastosowanie w świetle wczesnej filozofii Ludwiga Wittgensteina. Ideografia logiczna a język naturalny
Autorzy:
Mateusz Marek Radzki
Data publikacji:
2010-03-01
Dostawca treści:
CEJSH
Artykuł
Szczegóły
Tytuł:
What Is the Sense in Logic and Philosophy of Language
Autorzy:
Wybraniec-Skardowska, Urszula
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
categorisation
denotation
logic and philosophy of language
categorial language
syntactic and semantic senses
intensional semantics
meaning
extensional semantics
syntactic and semantic compatibility
algebraic models
truth
structural compatibility
compositionality
language communication
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Logika miejsca i jej zastosowania w analizie niektórych rozumowań prawniczych
Place logic and its possible applications in a logical analysis of legal reasoning
Autorzy:
Kozanecka-Dymek, Anna
Data publikacji:
2016
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
topological logic
place logic
applications
analysis
legal language
legal reasoning
język prawniczy
analiza
zastosowania
logika miejsca
logika topologiczna
rozumowania prawnicze
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Modelowanie automatów synchronicznych w języku VHDL pod kątem efektywnego wykorzystania niezależnych narzędzi syntezy
Autorzy:
Czerwiński, R.
Kulisz, J.
Data publikacji:
2009
Słowa kluczowe:
synteza logiczna
język opisu sprzętu
VHDL
automat synchroniczny
kodowanie stanów
układy logiki programowalnej
układy CPLD
logic synthesis
hardware description language
finite state machine
state assignment
programmable logic devices
complex programmable logic devices
Pokaż więcej
Dostawca treści:
BazTech
Artykuł
Szczegóły
Tytuł:
Programowanie sterowników PLC metodą nauczania
Teaching-in programmable logic controllers
Autorzy:
Więcławek, R.
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
mechanizacja procesu odlewniczego
automatyzacja procesu odlewniczego
komputerowe wspomaganie
produkcja odlewnicza
sterownik PLC
język programowania
mechanization of foundry proces
automation of foundry proces
computer aiding
casting production
programmable logic controller
programmable language
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Mark Randall James, Learning the Language of Scripture: Origen, Wisdom, and the Logic of Interpretation, Studies in Systematic Theology 24, Brill: Leiden – Boston 2020, pp. 339.
Autorzy:
Krzysztof Bardski
Data publikacji:
2021-12-10
Dostawca treści:
CEJSH
Artykuł
Szczegóły
Tytuł:
Mark Randall James, Learning the Language of Scripture: Origen, Wisdom, and the Logic of Interpretation, Studies in Systematic Theology 24, Brill: Leiden – Boston 2020, pp. 339.
Autorzy:
Bardski, Krzysztof
Data publikacji:
2021-12-10
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Implementacja systemu bezpieczeństwa typu Firewall dla potrzebsieci Ethernet w oparciu o układy reprogramowalne FPGA
Implementation of the Ethernet Firewall security system in FPGA programmable logic
Autorzy:
Sułkowski, G.
Twardy, M.
Wiatr, K.
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy bezpieczeństwa informatycznego
układy programowalne
języki opisu sprzętu
Ethernet
firewall
information security systems
programmable logic
hardware description language
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Ecumenical issues in Józef Herbut’s philosophy of religion
Zagadnienia ekumeniczne w filozofii religii Józefa Herbuta
Autorzy:
Wolsza, Kazimierz
Data publikacji:
2020-12-23
Wydawca:
Uniwersytet Opolski. Redakcja Wydawnictw Wydziału Teologicznego
Tematy:
ekumenizm
dialog doktrynalny
filozofia religii
język religijny
logika
ecumenism
doctrinal dialogue
philosophy of religion
religious language
logic
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
A qualitative approach in terms of fuzzy logic related to the excellence achieving within managerial process of personnel selection
Podejście jakościowe w warunkach logiki rozmytej w relacji do osiągnięcia doskonałości w kierowniczym procesie wyboru personelu
Autorzy:
Sirb, L
Dragolea, L.
Data publikacji:
2013
Wydawca:
Politechnika Częstochowska
Tematy:
fuzzy logic
decisional process
personnel
Java programming language
Java
logika rozmyta
proces decyzyjny
personel
język programowania Java
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Projektowanie układów cyfrowych w języku programowania sprzętu VHDL – prezentacja witryny internetowej
Designing of digital systems in the VHDL hardware description language – presentation of the website
Autorzy:
Noga, K. M.
Motyka, P. S.
Data publikacji:
2018
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
technika cyfrowa
dydaktyka
układy programowalne
język VHDL
Quartus
edytor tekstowy
edytor graficzny
digital technique
didactics
programmable logic devices
language VHDL
text editor
graphic editor
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
O NIEKTÓRYCH UWARUNKOWANIACH FREGOWSKIEJ TEORII KWANTYFIKACJI
ON SOME DETERMINATS OF THE FREGEAN THEORY OF QUANTIFICATION
Autorzy:
Szot, Jan
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia języka
filozofia logiki
wyrażenie kwantyfikatorowe
wyrażenie niekompletne
predykat złożony
predykat prosty
philosophy of language
philosophy of logic
theory of quantification
incomplete expression
complex predicate
simple predicate
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
O wyrażalności niektórych relacji czasowych i własności czasu w języku systemów logiki temporalnej G. H. von Wrighta
On the Expression of Temporal Relations and Properties of Time in the Language of the System of G. H. von Wright’s Temporal Logic
Autorzy:
Kozanecka, Anna
Leszczyńska, Magdalena
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
czas
własności czasowe
relacje czasowe
logika temporalna
And Next
And Then
wyrażalność
adekwatność
zastosowanie
time
temporal properties
temporal relations
temporal logic
expression
adequacy
application
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Implementacja standardu sieci Ethernet IEEE 802.3 w układach FPGA na potrzeby systemu bezpieczeństwa typu Firewall
IEEE 802.3 Ethernet standard implementation in FPGA logic to the needs of the Firewall security system
Autorzy:
Sułkowski, G.
Twardy, M.
Wiatr, K.
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy bezpieczeństwa informatycznego
układy programowalne
języki opisu sprzętu
Ethernet
firewall
information security systems
programmable logic
hardware description language
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Implementacja algorytmu syntezy układów odwracalnych w strukturach FPGA
FPGA implementation of a reversible circuit synthesis algorithm
Autorzy:
Gracki, K.
Skorupski, A.
Pawłowski, M.
Kerntopf, P.
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
odwracalne układy logiczne
język VHDL
układy FPGA
reversible logic circuits
VHDL language
FPGA circuits
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Relatywizm wyrażeń „autorytet niepodważalny” i „autorytet podważalny”
Relativism expressions „authority to challenge” and „authority of indisputable”
Autorzy:
Katarzyna Karaskiewicz
Data publikacji:
2018
Tematy:
authority to challenge
authority of indisputable
hypostasis error
language competence
bivalent modal logic
autorytet podważalny
autorytet niepodważalny
błąd hipostazy
kompetencja językowa
logika modalna dwuwartościowa
Pokaż więcej
Dostawca treści:
CEJSH
Artykuł
Szczegóły
Tytuł:
Relatywizm wyrażeń „autorytet niepodważalny” i „autorytet podważalny”
Relativism expressions „authority to challenge” and „authority of indisputable”
Autorzy:
Karaskiewicz, Katarzyna
Data publikacji:
2018
Wydawca:
Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
Tematy:
authority to challenge
authority of indisputable
hypostasis error
language competence
bivalent modal logic
autorytet podważalny
autorytet niepodważalny
błąd hipostazy
kompetencja językowa
logika modalna dwuwartościowa
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
Logic and grammar in language - dispute or dialogue? Considerations in the field of the philosophy of language on the basis of a dispute from the 10th century AD between scholars: Abū Bišr Matta and Abū Saʻīd as-Sīrāfī.
Logika i gramatyka w języku - spór czy dialog? Rozważania z zakresu filozofii języka na podstawie dysputy z X w.n.e. pomiędzy uczonymi: Abū Bišr Mattą oraz Abū Saʻīdem as-Sīrāfīm.
Autorzy:
Jakubiak, Dorota
Słowa kluczowe:
logic, grammar, semantics, pragmatics, syntax, Arabic grammatical tradition, linguistic universals, linguistic relativity, communication
logika, gramatyka, semantyka, pragmatyka, składnia, arabska tradycja gramatyczna, uniwersalizm językowy, relatywizm językowy, komunikacja
Pokaż więcej
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Inne
Szczegóły
Tytuł:
Interpunkcja uchwał wybranych rad gmin a logiczno-językowe zasady redagowania aktów prawnych
Punctuation in resolutions of chosen parish councils and logical and linguistic rules of editing legislative acts
Autorzy:
Jędrusiak, Maciej
Słowa kluczowe:
akty prawne, interpunkcja, język prawny, logika, przecinek
comma, legal acts, legal language, logic, punctuation
Pokaż więcej
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Inne
Szczegóły
Wyświetlanie 1-100 z 113

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