Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
20.4% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Simple Program Schemes and Formal Languages
Springer-Verlag Berlin Heidelberg
Jost Engelfriet (auth.)
,
Jost Engelfriet (eds.)
theorem
schemes
interpretation
lemma
rsi
standard
deterministic
context
pss
lanov
consider
arbitrary
equivalent
defined
markers
symbols
cslm
remark
syntdet
dpda
interpretations
element
define
function
prove
nondeterministic
shown
partial
decidable
corresponding
reader
cfg
finite
translatable
predicate
mapping
effectively
denoted
computing
eff
denote
proved
computed
nrsi
generalized
recall
syntdetcfg
universal
semantic
semantically
Рік:
1974
Мова:
english
Файл:
PDF, 4.03 MB
Ваші теги:
0
/
0
english, 1974
2
Simple Program Schemes and Formal Languages
Springer-Verlag Berlin Heidelberg
Jost Engelfriet (auth.)
,
Jost Engelfriet (eds.)
theorem
schemes
interpretation
lemma
standard
rsi
deterministic
context
pss
consider
equivalent
arbitrary
defined
markers
symbols
cslm
ianov
interpretations
remark
dpda
syntdet
element
define
function
nondeterministic
prove
reader
corresponding
partial
shown
decidable
mapping
translatable
finite
predicate
effectively
cfg
denoted
computing
generalized
lanov
computed
denote
proved
universal
nrsi
semantic
recall
shift
syntdetcfg
Рік:
1974
Мова:
english
Файл:
DJVU, 1.75 MB
Ваші теги:
0
/
0
english, 1974
3
Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’
Elsevier Science Ltd
Marek Karpinski
,
J. Van Leeuwen (ed.)
programs
deterministic
theorem
variables
functions
finite
input
schemes
algorithm
count
function
programming
lemma
computation
complexity
pdl
algol
symbols
turing
define
machines
defined
mathematics
modes
parameters
recursive
games
consider
formal
ianov
domino
partial
player
formula
identifiers
probabilistic
probability
step
path
formulas
funct
sideeffects
driven
calculus
constructive
auxiliary
random
predicate
correctness
global
Рік:
1985
Мова:
english
Файл:
DJVU, 1.57 MB
Ваші теги:
0
/
0
english, 1985
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×