წიგნების ძებნა
წიგნები
დახმარება
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Topological Duality for Distributive Lattices. Theory and Apps 2024
Gehrke M.
finite
lattice
duality
dual
distributive
boolean
priestley
spaces
compact
prove
topology
lattices
sets
function
proposition
category
monoid
theorem
topological
homomorphism
spectral
element
subset
continuous
algebras
defined
preserving
poset
generated
exists
ordered
clopen
filter
profinite
denote
equivalent
directed
map
isomorphism
lemma
unique
binary
functions
suppose
compatible
morphism
implication
heyting
subsets
consider
წელი:
2024
ენა:
english
ფაილი:
PDF, 26.05 MB
თქვენი თეგები:
0
/
5.0
english, 2024
2
Handbook of Logic in Computer Science. Volume 3: Semantic Structures
Clarendon Press
Samson Abramsky
,
Dov M Gabbay
,
Thomas S E Maibaum (eds.)
continuous
domains
function
algebraic
programming
functions
element
sets
defined
theorem
theories
proposition
scott
define
compact
category
finite
interpretation
calculus
dcpo
variables
iteration
morphism
exp
lemma
abramsky
semantic
denotational
assignment
equations
partial
directed
lattice
induction
false
bool
plotkin
tennent
functor
morphisms
mathematical
subsets
recursive
sorted
ordered
consider
equation
jung
rational
definitions
წელი:
1994
ენა:
english
ფაილი:
DJVU, 3.55 MB
თქვენი თეგები:
5.0
/
4.0
english, 1994
3
Recursive Domains, Indexed Category Theory and Polymorphism [PhD diss.]
University of Cambridge
Paul Taylor
category
continuous
domains
indexed
categories
proposition
finite
cartesian
functor
algebraic
lemma
maps
function
sets
variables
map
calculus
poset
adjoint
substitution
retracts
pullback
products
directed
ipo
fibred
morphisms
posets
topos
diagram
product
theorem
fibration
lambda
polymorphism
functors
fibre
lattice
retract
corresponding
models
functions
bifinite
element
limits
closure
morphism
preserves
retr
fibrations
წელი:
2003
ენა:
english
ფაილი:
PDF, 1.01 MB
თქვენი თეგები:
0
/
0
english, 2003
4
Semantic Domains and Denotational Semantics
Carl A. Gunter
,
Peter D. Mosses
,
Dana S. Scott
function
functions
domains
denotations
syntax
continuous
env
semantic
programming
denotational
cpo
abstract
statements
finite
notation
equations
programs
define
operators
element
defined
declarations
fixed
strict
theorem
values
variables
binary
input
output
denotes
parameter
sets
consider
poset
powerdomain
statement
concrete
definitions
bounded
plotkin
calculus
equation
scott
suppose
argument
continuations
descriptions
corresponding
directed
წელი:
1989
ენა:
english
ფაილი:
PDF, 5.21 MB
თქვენი თეგები:
0
/
0
english, 1989
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×