Г29 Гейтинг, А. Обзор исследований по основаниям математики. Пнтупционизм - теория доказательства [Текст] / Пер. с нем. А.П. Юшкевича. - М. ; Л. : Онти НКТП СССР, 1936. - 96 с. - 1.50 р.
Кл.слова (ненормированные): Математика -- теория доказательств -- основания математики Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
Е80 Ершов, Ю. Л. Математическая логика: Учеб. пособие [Текст] / Ю. Л. Ершов. - М. : Наука, 1979. - 320 с. : ил. - 0.80 р.
Кл.слова (ненормированные): Математика -- рекурсивные функции -- алгоритмы -- теория доказательств -- теория моделей -- эквивалентность -- алгебраические системы -- теория множеств -- учебное пособие для вузов -- математическая логика Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
С74 Справочная книга по математической логике [Текст] : в 4 частях : перевод с английского / Под ред. Д. Барвайса. - М. : Наука, 1983. Ч. 4 : Теория доказательств и конструктивная математика. - 1983. - 392 с. - 2.10 р.
Кл.слова (ненормированные): Математика -- математическая логика -- справочник -- теория доказательств -- конструктивная теория -- теория множеств -- теория чисел -- высшая математика Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Е80 Ершов, Ю. Л. Математическая логика: Учеб. пособие [Текст] / Ю. Л. Ершов. - 5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - 322.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- учебное пособие для вузов -- теория множеств -- алгебраические системы -- эквивалентность -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- истинность Экземпляры всего: 14 2к (14) Свободны: 2к (14) |
К60 Колмогоров, А. Н. Математическая логика: Учеб. пособие для студ. математ. спец. вузов [Текст] / А.Н. Колмогоров, А.Г. Драгалин; МГУ им. М.В. Ломоносова. - 3-е изд., стер. - М. : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - 195.00 р., 194.00 р.
Кл.слова (ненормированные): Математика -- формальные аксиоматические теории -- логические законы -- семантика языка -- булевы алгебры -- теория множеств -- математическая логика -- теорема Геделя -- логика высказываний -- логика предикатов -- основания математики -- теория доказательств -- теория алгорифмов -- предикаты -- дедукция Экземпляры всего: 11 2к (10), 6к (1) Свободны: 2к (10), 6к (1) |
Д72 Драгалин, А. Г. Конструктивная теория доказательств и нестандартный анализ [Текст] / А. Г. Драгалин. - М. : Едиториал УРСС, 2003. - 544 с. - 238.00 р.
Кл.слова (ненормированные): нестандартный анализ -- анализ -- алгебраические модели -- арифметика -- логика -- теория доказательств -- математическая логика -- биографии -- Драгалин А.Г. -- высшая математика -- Математика Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
С54 Соболева, Т. С. Дискретная математика: Учеб. для студ. вузов, обуч. по спец. напр. подготовки "Информатика и вычислит. техника" и др. [Текст] / Т. С. Соболева. - М. : Академия, 2006. - 256 с. - (Университетский учебник. Прикладная математика и информатика). - 221.10 р.
Кл.слова (ненормированные): Математика -- дискретная математика -- прикладная математика -- информатика -- множества -- конечные элементы -- соотношения -- теория -- алгебра -- топология -- функции -- математическая логика -- теория доказательств -- математическая кибернетика Экземпляры всего: 10 2к (10) Свободны: 2к (10) |