поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на 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 и вставьте его сюда
×
×