Temat: MATHEMATICAL LOGIC - Prolib Integro

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ę "MATHEMATICAL LOGIC" wg kryterium: Temat

Wyświetlanie 1-10 z 67

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Filosofická logika?
Philosophical logic?
Autorzy:: Jaroslav Peregrin
Tematy:: logic
philosophical logic
mathematical logic
reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: WHAT IS (MODERN) LOGIC TAKEN TO BE ABOUT AND WHAT IT IS ABOUT
Autorzy:: Jaroslav Peregrin
Tematy:: LOGIC
MATHEMATICAL LOGIC
PHILOSOPHICAL LOGIC
REASONING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Kłamię
Autorzy:: Gawron, Piotr
Data publikacji:: 2023
Słowa kluczowe:: paradoks
logika matematyczna
paradox
mathematical logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: W-irreducible Lattices
Autorzy:: Grygiel, J.
Data publikacji:: 2005
Słowa kluczowe:: lattice
mathematical logic
siatka
logika matematyczna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Personal Reflections on the Role of Mathematical Logic in Computer Science
Autorzy:: Kfoury, Assaf
Data publikacji:: 2019
Słowa kluczowe:: computer logic
symbolic logic
mathematical logic
history of accounting
reflections; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The Strong Version of Underdetermination of Theories by Empirical Data. Comments on Wolenskis Analysis
Autorzy:: Mostafa Taqavi
Mohammad Saleh Zarepour
Data publikacji:: 2008
Tematy:: underdetermination of theories by empirical data
mathematical logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: SMT-Based Reachability Checking for Bounded Time Petri Nets
Autorzy:: Półrola, A.
Cybula, P.
Męski, A.
Data publikacji:: 2014
Słowa kluczowe:: Petri nets
bounds
modules
symbolic
mathematical logic
satisfiability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Logic and Algebra in Unfolded Petri Nets : on a Duality Between Concurrency and Causal Dependence
Autorzy:: Bernardinello, Luca
Ferigato, Carlo
Pomello, Lucia
Data publikacji:: 2020
Słowa kluczowe:: mathematical logic
Petri nets
partially ordered sets
orthogonalization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: DNA Tiles, Wang Tiles and Combinators
Autorzy:: Bellia, M.
Occhiuto, M. E.
Data publikacji:: 2014
Słowa kluczowe:: combinatory logic
combinatorial analysis
programming languages
set theory
nonclassical mathematical logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: LIBERATING POWER OF HARMONY AND ORDER: ON THE NOTIONS OF LIBERTY AND MATHEMATICAL LOGIC IN ZHANG SHENFU’S PHILOSOPHICAL THOUGHT
Autorzy:: Vrhovski Jan
Tematy:: CHINESE PHILOSOPHY
MATHEMATICAL LOGIC
HUMANISM
LIBERTY
ZHANG SHENFU; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 67

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

Informacja

Wyszukujesz frazę "MATHEMATICAL LOGIC" wg kryterium: Temat