Математическая логика Учебно-методическое пособие по курсу "Математическая логика"

Математическая логика Учебно-методическое пособие по курсу "Математическая логика" Ч. 2

Bibliographic Details
Corporate Author: Томский государственный университет
Other Authors: Паршина, Нина Андреевна (Compiler)
Format: Book
Language:Russian
Published: Томск б. и. 2000
Subjects:
учебные пособия для вузов.
исчисление высказываний.
бинарные отношения.
тернарные отношения.
предикаты истинные.
предикаты ложные.
логические операции.
кванторы существования.
кванторы всеобщности.
формулы.
предикатные переменные.
логические следования.
доказуемость.
Online Access:Перейти в каталог НБ ТГУ

Similar Items

Similar Items