Набиране на средства 15 септември 2024 – 1 октомври 2024
Относно набирането на средства
търсене на книга
книги
Набиране на средства:
71.6% събрани
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
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
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×