Либрус
 
Сделать стартовой
Добавить в избранное
Обратная связь
Карта сайта
Зеркало сайта
Новости RSS 2.0
ПОСТУПЛЕНИЯ 
«    Июль 2020    »
ПнВтСрЧтПтСбВс
 12345
6789101112
13141516171819
20212223242526
2728293031 
РУБРИКАТОР 
Открыть | Закрыть

ПОПУЛЯРНОЕ  
АРХИВЫ   
Август 2016 (216)
Июль 2016 (456)
Июнь 2016 (321)
Май 2016 (398)
Апрель 2016 (433)
Март 2016 (554)


  Математическая логика
    Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика
 
Математическая логика title=
Автор: Ю. Л. Ершов, Е. А. Палютин
Издательство: Наука
Год издания: 1987
Количество страниц: 337
Язык: русский
Формат: DJVU
Размер: 5 Мб
Каталожный номер: 10386

Купить на OZON.ru
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.

Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
 

Похожие публикации:

  • Вводный курс математической логики
  • Математическая логика
  • Теория вероятности и математическая статистика
  • Элементы теории множеств и математической логики в школьном курсе математик ...
  • Основы дискретной математики
  • Конспект лекций по дискретной математике
  • Справочная книга по математической логике. Часть 2. Теория множеств
  • Введение в математическую логику
  • Введение в математическую логику
  • Дискретная математика и комбинаторика



  •  
    Ссылки на файлообменные сервераРазмер архива в Mb
    http://depositfiles.com/files/uzvon82za5.2

     
    Оцените эту публикацию!
     
    • 0
    Опубликовал: flashsoft | 12-03-2007, 00:00 | Просмотров: 1261   Комментарии (0)  Печать

     
      Информация  
     
    Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.

     
     

      Главная страница | Регистрация | Новое на сайте | Статистика |
     
    «Librus - Mountain of Knowledge»
    «Либрус - гора знаний» 2004-2020
    Design by Flashsoft © 2005-2020