შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024
თანხის შეგროვების შესახებ
წიგნების ძებნა
წიგნები
შეწირულობა:
57.2% ამოწურულია
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Software Foundations vol 2 Programming Language Foundations
Benjamin C. Pierce
,
Arthur Azevedo de Amorim
,
Chris Casinghino
,
Marco Gaboardi
,
Michael Greenberg
,
Cătălin Hriţcu
,
Vilhelm Sjöberg
,
Andrew Tolmach
,
Brent Yorgey
current
notation
constr
lemma
constructor
gamma
plf
softwarefoundations.cis.upenn.edu
pe_st
plf.smallstep
apply
simple_intropattern
plf.hoare
step
plf.morestlc
intros
rewrite
plf.references
inductive
match
_x_
goal
theorem
ltac
ident
plf.pe
plf.equiv
tactics
_x
coq
plf.norm
plf.recordsub
inversion
typing
plf.sub
false
plf.hoare2
qed
hoare
stlc
eauto
induction
appears_free_in
reflexivity
destruct
standard
hyp
plf.records
bool
auto_star
წელი:
2020
ენა:
english
ფაილი:
PDF, 2.20 MB
თქვენი თეგები:
0
/
0
english, 2020
2
Software Foundations 1 LOGICAL FOUNDATIONS
Benjamin C. Pierce
,
Arthur Azevedo de Amorim
,
Chris Casinghino
,
Marco Gaboardi
,
Michael Greenberg
,
Cătălin Hriţcu
,
Vilhelm Sjöberg
,
Brent Yorgey
current
lemma
coq
lf.imp
theorem
softwarefoundations.cis.upenn.edu
lf.indprop
constructor
induction
admitted
lf.poly
inductive
apply
reflexivity
lf.lists
intros
lf.basics
qed
lf.logic
notation
function
standard
false
prove
match
rewrite
destruct
simpl
defined
bool
lf.tactics
proofs
functions
_x
goal
programming
lists
optional
tactics
lf.auto
fixpoint
propositions
evidence
lf.impparser
lf.proofobjects
arguments
definitions
_x_
context
inductively
წელი:
2020
ენა:
english
ფაილი:
PDF, 1.30 MB
თქვენი თეგები:
0
/
0
english, 2020
3
Software Foundations Vol 3 Verified Functional Algorithms
Andrew W. Appel
current
lemma
vfa
softwarefoundations.cis.upenn.edu
vfa.searchtree
vfa.adt
vfa.trie
searchtree
abs
theorem
admitted
lookup
insert
match
apply
vfa.redblack
prove
trees
vfa.color
coq
constructor
qed
positive
vfa.binom
key
cts
vfa.priqueue
module
vfa.extract
inductive
check
node
sorted
intros
vfa.decide
destruct
axiom
function
permutation
priqueue
search
forall
priq
algorithms
unfold
false
t_update
vfa.perm
binary
correctness
წელი:
2020
ენა:
english
ფაილი:
PDF, 996 KB
თქვენი თეგები:
0
/
0
english, 2020
4
Software Foundations Vol 4 QuickChick
Leonidas
,
Lampropoulos Benjamin
,
C. Pierce
current
qc.timp
qc.quickchickinterface
quickchick
qc.qc
qc.typeclasses
gamma
softwarefoundations.cis.upenn.edu
typeclasses
node
coq
match
constructor
_x_
exp
inductive
tests
checker
notation
shrink
generator
failure
generators
tnat
testing
command
instances
bool
typed
typeclass
declare
arbitrary
forall
function
tbool
record
checkable
eval
module
option
parameter
axiom
stack
check
fixpoint
qc_scope
tutorial
decidable
core
define
წელი:
2020
ენა:
english
ფაილი:
PDF, 585 KB
თქვენი თეგები:
0
/
0
english, 2020
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×