Temat: logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Asymptotyczne własności rachunku lambda i logiki kombinatorycznej
Asymptotic properties of lambda calculus and combinatory logic
Autorzy:: Grygiel, Katarzyna
Współwytwórcy:: Zaionc, Marek
Data publikacji:: 2013-05-23
Słowa kluczowe:: combinatory logic
rachunek lambda
lambda calculus
gęstość
asymptotic investigations in logic
density
badania asymptotyczne w logikach
logika kombinatoryczna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Theory of evidence in criminall trial in the light of interrogative model of scientific inquiry
Teoria dowodowa w procesie karnym w świetle interogacyjnego modelu poznania
Autorzy:: Gorzula, Bartosz
Współwytwórcy:: Stelmach, Jerzy
Data publikacji:: 2013-01-14
Słowa kluczowe:: circumstanial evidence
information
poszlaka
informacja
dowód
Hintikka
logic
logika; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Prawnicze rozumowanie abdukcyjne
Legal abductive reasoning
Autorzy:: Dziurosz-Serafinowicz, Patryk
Współwytwórcy:: Stelmach, Jerzy
Data publikacji:: 2010-12-13
Słowa kluczowe:: rationality
racjonalność
prawdopodobieństwo
probablity
logic
abduction
abdukcja
rozumowanie prawnicze
logika
legal reasoning; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Quantitative aspects and generation of random lambda and combinatory logic terms
Ilościowe aspekty oraz generowanie losowych termów rachunku lambda oraz termów rachunku kombinatorów
Autorzy:: Bendkowski, Maciej
Współwytwórcy:: Zaionc, Marek
Data publikacji:: 2017-11-27
Słowa kluczowe:: rachunek kombinatorów
combinatorics
combinatory logic
analytic combinatorics
kombinatoryka analityczna
lambda calculus
kombinatoryka
rachunek lambda; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Efekt przełączenia fotoprądu w wybranych półprzewodnikach szerokopasmowych
Photocurrent switching in wide band gap semiconductors
Autorzy:: Podborska, Agnieszka
Współwytwórcy:: Szaciłowski, Konrad
Data publikacji:: 2012-05-30
Słowa kluczowe:: bramki logiczne
półprzewodniki
logic gates
photoelectrochemistry
optoelektronika
semiconductors
PEPS effect
optoelectronics
fotoelektrochemia
efekt PEPS; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Molecular engineering of semiconducting surfaces
Inżynieria molekularna powierzchni półprzewodników
Autorzy:: Oszajca, Marek
Współwytwórcy:: Szaciłowski, Konrad
Data publikacji:: 2013-10-04
Słowa kluczowe:: sensory
quantum dots
nanokryształy półprzewodnikowe
sensors
logic gates
fotochemia
kropki kwantowe
semiconducting nanocrystals
photochemistry
bramki logiczne; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Nowe materiały półprzewodnikowe na bazie dwutlenku tytanu i wybranych biocząsteczek : otrzymywanie i charakterystyka fizykochemiczna
New semiconductro materials based on titanium dioxide and biomolecules : synthesis and physicochemical characterization
Autorzy:: Gawęda, Sylwia
Współwytwórcy:: Stochel, Grażyna
Data publikacji:: 2010-05-18
Słowa kluczowe:: biosensors
fotoelectrochemistry
natural chromophores
molecular logic gates
fotoelektrochemia,
dwutlenek tytanu
hybryd nanomaterials
(nano)materiały hybrydowe
titanium dioxide
naturalne barwniki organiczne
chemiczne bramki logiczne
biosensory; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Podstawy teorii mnogości Stanisława Leśniewskiego w formalizacji Jana Śleszyńskiego
The foundations of S. Leśniewskis set theory in a formalization of Jan Śleszyński
Autorzy:: Borowik, Piotr
Współwytwórcy:: Hertrich-Woleński, Jan
Data publikacji:: 2010-02-03
Słowa kluczowe:: formal logic
relation to be a part
szkoła lwowsko-warszawska
collective set
zbiór kolektywny
teoria mnogości
logika formalna
relacja bycia częścią
Leśniewski
Śleszyński
mereology
the Lvov-Warsaw philosophical school
mereologia; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Informacja