書籍搜索
圖書
捐款
登錄
登錄
訪問更多功能
個人建議
電報機器人
下載歷史
發送到電子郵件或 Kindle
管理書單
保存到收藏夾
個人的
查詢書籍
探索
Z-推薦
書單
最受歡迎
類別
貢獻
捐款
上傳
Litera Library
捐贈紙質書籍
添加紙質書籍
Search paper books
我的 LITERA Point
術語搜索
Main
術語搜索
search
1
Некоторые элементы неклассических логик и лямбда-исчисления. Учебно-методическое пособие
ННГУ
Малышев Д. С.
,
Мокеев Д. Б.
ϕ
xyz
терм
комбинатор
называется
модели
формула
модель
фрейме
комбинаторов
комбинаторы
переменных
языка
рассмотрим
формулы
точки
x.f
xxy
общезначимой
крипке
любой
означивание
false
множество
неподвижной
отношение
задачи
правилу
терма
y.y
заданное
истинности
нормальной
переменной
следующим
следующих
соотношениями
форме
xry
z.zz
абстрактора
доказать
логики
редекс
редексом
термов
фрейм
v.v
xyzu
ϕ5
年:
2017
語言:
russian
文件:
PDF, 421 KB
你的標籤:
0
/
4.5
russian, 2017
2
Элементы неклассических логик и моделей вычислений. Учебно-методическое пособие
ННГУ
Малышев Д. С.
,
Мокеев Д. Б.
ϕ
xyz
терм
называется
комбинатор
модели
комбинаторов
модель
переменных
формула
фрейме
языка
комбинаторы
рассмотрим
x.f
формулы
крипке
false
xxy
множество
означивание
отношение
точки
задачи
любой
нормальной
правилу
терма
y.y
переменной
следующим
форме
xry
z.zz
заданное
логики
неподвижной
редекс
редексом
соотношениями
термов
фрейм
v.v
ϕ5
абстрактора
истинности
логика
общезначимой
следующих
ϕ4
年:
2015
語言:
russian
文件:
PDF, 421 KB
你的標籤:
0
/
4.5
russian, 2015
3
Многомерные точечные решения квазилинейного параболического уравнения с анизотропной теплопроводностью
Семенов Э. И.
уравнения
функция
уравнение
решения
уравнению
exp
точные
ã
функции
вида
ε0
гармоническая
преобразования
теоремы
многомерные
нулю
тождественно
гармонические
некоторых
преобразований
решений
семёнов
функцию
гармонической
доказательство
лапласа
произвольная
сопряженные
эквивалентности
λv
анизотропной
координатном
получим
преобразованием
пространстве
теорема
теплопроводностью
удовлетворяет
2η
βy
δt
λu
аналогичного
имеем
квазилинейное
относительно
переменных
редукции
редуцируется
решение
年:
2006
語言:
russian
文件:
PDF, 363 KB
你的標籤:
0
/
0
russian, 2006
1
關注
此鏈接
或在 Telegram 上找到“@BotFather”機器人
2
發送 /newbot 命令
3
為您的聊天機器人指定一個名稱
4
為機器人選擇一個用戶名
5
從 BotFather 複製完整的最後一條消息並將其粘貼到此處
×
×