Зведений каталог бібліотек Тернополя

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

22.12
Х94Хромой, Я. В.
    Математична логіка [Текст] : навч. посіб. для студ. фізико-матем. ф-тів пед. ін-тів / Я.В. Хромой. — К. : Вища шк., 1983. — 208 с.

- Ключові слова:

висловлення ; предикат ; предикативність

- Анотація:

Пособие содержит элементарные сведения по алгебре высказываний и логике предикатов. Рассмотрены построения исчисления высказываний как формальной системы, а также даны общие представления о формальных математических теориях первого порядка.

- Теми документа

  • ББК // 22.1я73 Підручники і посібники з математики для вищої школи
  • Алфавітно-предметний покажчик до ББК // Математична логіка 22.122



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Тернопільського національного педагогічного університету імені Володимира Гнатюка 4 Перейти на сайт