Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
25.5% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
Вовеки неразрешимое. Путь к Гёделю через занимательные загадки
«Канон+»
Смаллиан Р.
верит
мыслитель
типа
предложение
рыцарь
истинно
предложения
обитатель
поверит
отсюда
верить
предположим
утверждение
решение
доказуемо
предложений
мыслителя
система
любого
системы
поверю
плут
доказать
следовательно
ложно
поверишь
теорема
истинным
системе
имеется
любой
существует
непротиворечивость
типу
логически
непротиворечив
отношении
собственную
принадлежит
означает
правила
проблемы
лечение
оба
сработает
давайте
истинны
аксиомы
верю
имеем
Year:
2013
Language:
russian
File:
DJVU, 2.30 MB
Your tags:
0
/
0
russian, 2013
2
Вовеки неразрешимое: Путь к Гёделю через занимательные загадки
Канон+
Смаллиан Р.(Smullyan R.M.)
верит
мыслитель
типа
предложение
рыцарь
истинно
предложения
обитатель
поверит
отсюда
верить
предположим
утверждение
решение
доказуемо
предложений
мыслителя
система
системы
любого
поверю
плут
доказать
следовательно
ложно
поверишь
теорема
истинным
системе
имеется
любой
существует
непротиворечивость
типу
логически
принадлежит
bpz
непротиворечив
отношении
собственную
означает
правила
проблемы
лечение
оба
сработает
давайте
истинны
аксиомы
верю
Year:
2013
Language:
russian
File:
DJVU, 2.97 MB
Your tags:
0
/
0
russian, 2013
3
Математическая логика и теория алгоритмов
Набебин А.А.
,
Кораблин Ю.П.
wmf
формула
формулы
unknown
embed
equation
множество
формул
дизъюнктов
доказательство
т.е
вывода
уип
дизъюнкт
интерпретации
существует
множества
теорема
индукции
истинно
определение
переменных
правило
покажем
правила
интерпретация
предикатов
следовательно
меньше
логики
доказуема
секвенции
невыполнимо
утверждение
высказывание
называется
истинна
формуле
формулу
аксиом
переменные
сив
далее
предположению
содержит
условие
аксиомы
высказываний
переменной
подстановка
Language:
russian
File:
RAR, 295 KB
Your tags:
0
/
0
russian
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×