18+
На сайте представлено только описание и выходные данные книги «Логический вывод Смирнов Владимир Александрович». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Логический вывод Смирнов Владимир Александрович». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтвердаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
Авторы книги исследуют различные способы формализации логического вывода, разрабатывают технику натурального вывода, предлагают новые методы установления выводимости и невыводимости для широкого класса логических систем. Значительное внимание уделено проблемам вывода в интуиционистской, модальной, временной и релевантной логиках. Это и многое другое вы найдете в книге Логический вывод (Смирнов Владимир Александрович)
| Полное название книги | Смирнов Владимир Александрович Логический вывод |
| Тип | Книга |
| Автор | Смирнов Владимир Александрович |
| Категории | Антикварные книги, Букинистика, Художественная литература, Книги |
| ISBN | |
| Возрастное ограничение | 18 |
| Издательство | Наука |
| Год | 1979 |
| Название транслитом | logicheskiy-vyvod-smirnov-vladimir-aleksandrovich |
| Просмотров | 3 |
| Рейтинг izbe.ru | 0,0 |
Мари Мур
Брук Лин
Конкордия Антарова
Дэниел Киз
Абрахам Вергезе
Аида Синицына
Вадим Зеланд
Сергей Лукьяненко
Роберт Грин
Виктор Дашкевич
Роман Прокофьев
Пауло Коэльо
