Temat: intuitionistic mathematics

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ę "intuitionistic mathematics" wg kryterium: Temat

Wyświetlanie 1-5 z 5

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Monteiro Spaces and Rough Sets Determined by Quasiorder Relations : Models for Nelson algebras
Autorzy:: Järvinen, J.
Radeleczki, S.
Data publikacji:: 2014
Słowa kluczowe:: rough sets
algebra
intuitionistic mathematics
isomorphism
lattice theory
mathematical proofs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
Autorzy:: Avellone, A.
Fiorentini, C.
Momigliano, A.
Data publikacji:: 2015
Słowa kluczowe:: mathematical proofs
propositional calculus
intuitionistic mathematics
contraction operator
structural analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: On the π-calculus and Co-intuitionistic Logic : Notes on Logic for Concurrency and λP Systems
Autorzy:: Bellin, G.
Menti, A.
Data publikacji:: 2014
Słowa kluczowe:: calculus
intuitionistic mathematics
encoding
linear systems
mathematical proofs
distributed computing
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem
Autorzy:: Piotr Urbańczyk
Data publikacji:: 2014
Tematy:: Glivenko’s theorem
intuitionistic logic
intuitionistic propositional calculus
history of logic
history of mathematics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem
Autorzy:: Urbańczyk, Piotr
Data publikacji:: 2014
Wydawca:: Copernicus Center Press
Tematy:: Glivenko’s theorem
intuitionistic logic
intuitionistic propositional calculus
history of logic
history of mathematics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-5 z 5

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ę "intuitionistic mathematics" wg kryterium: Temat