• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • українська 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Ввійти
Перегляд матеріалів 
  •   Головна сторінка DSpace
  • Genofond
  • Libgen
  • Перегляд матеріалів
  •   Головна сторінка DSpace
  • 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 software copyright © 2002-2016  DuraSpace
Контакти | Зворотній зв'язок
Theme by 
Atmire NV