Вводный курс математической логики [учебное пособие]

Вводный курс математической логики [учебное пособие]

Show other versions (2)

Bibliographic Details
Main Author:	Успенский, Владимир Андреевич 1930-2018
Other Authors:	Верещагин, Николай Константинович 1958-, Плиско, Валерий Егорович
Format:	Book
Language:	Russian
Published:	М. Физматлит 2004
Edition:	[2-е изд.]
Subjects:	учебные пособия для вузов. математическая логика. множеств теория множества эквивалентные. множества счетные. числа кардинальные Кантора теорема. множеств теория, парадоксы множеств теория аксиоматическая логика высказываний. логические операции. кванторы. языки первого порядка. субъектно-предикатная структура. истинности формальное определение. формулы общезначимые. формулы выполнимые. формулы равносильные. формулы предваренные. истинность. изоморфизмы. эквивалентность элементарная. выразимость (мат. логика) выразимость (мат. логика), доказательство автоморфизмы. теория доказательств. аксиоматический метод. логическое следование. тавтологическое следствие (мат. логика) исчисление предикатов. вывод из гипотез. теории первого порядка. арифметика формальная. Геделя теорема о полноте. категоричность (мат. логика) теория алгоритмов. вычислимые функции. множества разрешимые. множества полуразрешимые. универсальная вычислимая функция. перечислимость множества теорем. Тьюринга машины. Черча тезис.

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	1-916422к
	Available Place a Hold

Научная библиотека ТГУ: Читальный зал. Депозитарий

Holdings details from Научная библиотека ТГУ: Читальный зал. Депозитарий
Call Number:	510 У774
	Available Place a Hold