• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • русский 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Войти
Просмотр элемента 
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
JavaScript is disabled for your browser. Some features of this site may not work without it.

Математическая логика

Thumbnail
Открыть
03d2b8e57da6ca6c56d7eaa1a00afb33.djvu (5.215Mb)
Дата
1987
Автор
Ершов Ю.Л., Палютин Е.А.
Metadata
Показать полную информацию
Аннотации
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
URI
http://ir.nmu.org.ua/handle/GenofondUA/28865
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV
 

 

Просмотр

Весь DSpaceСообщества и коллекцииДата публикацииАвторыНазванияТематикаЭта коллекцияДата публикацииАвторыНазванияТематика

Моя учетная запись

ВойтиРегистрация

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV