Простейшие примеры математических доказательств [брошюра]

Простейшие примеры математических доказательств [брошюра]

Bibliographic Details
Main Author:	Успенский, Владимир Андреевич 1930-2018
Format:	Book
Language:	Russian
Published:	Москва Издательство Московского центра непрерывного математического образования 2019
Edition:	Изд. 3-е, стер.
Series:	Библиотека "Математическое просвещение"
Subjects:	математические доказательства математические термины, точность математические термины, однозначность метод перебора (мат. доказательство) математическое доказательство прямое математическое доказательство косвенное Дирихле принцип (мат. доказательство) доказательства способом "от противного" принцип наибольшего числа (мат. доказательство) принцип наименьшего числа (мат. доказательство) метод бесконечного спуска (мат. доказательство) математическая индукция, метод доказательства аксиоматический метод неформальный (мат. доказательство) аксиоматический метод формальный (мат. доказательство) Геделя теорема
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

Логические проблемы преподавания математики [учебное пособие для математических факультетов педагогических институтов]
by: Столяр, Абрам Аронович
Published: (1965)

Основания математики теория доказательств
by: Гильберт, Давид 1862-1943
Published: (1982)

Математика для гуманитариев живые лекции
by: Савватеев, Алексей Владимирович 1973-
Published: (2018)

Эпистемология математического доказательства
by: Целищев, Виталий Валентинович
Published: (2006)

Введение в математику учебное пособие : [для студентов Томского университета, обучающихся по специальности "Компьютерная безопасность"]
by: Агибалов, Геннадий Петрович 1939-2020
Published: (2022)

Как научится решать задачи беседы о решении математических задач : пособие для учащихся
by: Фридман, Лев Моисеевич 1915-2005
Published: (1979)

Коуровская тетрадь нерешенные вопросы теории групп (оперативно-информационный материал)
Published: (1990)

Доказательство против понимания в математическом доказательстве
by: Целищев, Виталий Валентинович

Доказательство теоремы Ферма
by: Овчинников, Геннадий Иванович 1938-
Published: (2017)

Доказательство теоремы Ферма
by: Овчинников, Геннадий Иванович 1938-
Published: (2014)

Интенсиональность Второй теоремы Геделя о неполноте
by: Целищев, Виталий Валентинович

Аналитики: пер. с древнегреч./
by: Аристотель
Published: (1998)

Постквантовое электронное голосование на основе решеток при участии нескольких кандидатов
by: Набоков, Денис Алексеевич

Изменчивая природа математического доказательства доказать нельзя поверить
by: Кранц, Стивен
Published: (2016)

Некоторые вопросы использования электронных документов в качестве судебных доказательств
by: Одышев, Сергей Владимирович

Digitale Dokumente als Beweis im Zivilprozess
by: Fanger, Reto
Published: (2005)

О цели и задачах криминалистики в расследовании преступлений
by: Могутин, Р. И.

Общедоступная и увлекательная книга о логике, содержащая объемное и систематическое изложение этой науки профессором философии
by: Никифоров, Александр Леонидович 1940-
Published: (1996)

Логика: учебное пособие для бакалавров по дисциплине "Логика" для студентов гуманитарных и социально-экономических специальностей и направлений подготовки высших учебных заведений/
by: Ивин, А. А. Александр Архипович
Published: (2011)

Логика глубокого разногласия
by: Фогелин, Роберт 1932-2016

Логика: учебник для средней школы/
by: Виноградов, С. Н. Сергей Николаевич
Published: (1948)

Комплексные доказательства вещественных теорем
by: Лакс, Питер Дэвид
Published: (2022)

Второй вариант решения Великой теоремы Ферма для нечетных степеней
by: Калугин, Виталий Алексеевич
Published: (2013)

Геометрические миниатюры
by: Скопец, Залман Алтерович 1917-1984
Published: (1990)

Электронные документы в судебном разбирательстве: проблемы обеспечения электронных документов
by: Одышев, Сергей Владимирович

Неравенства. Методы доказательства
by: Седракян, Наири Моликович
Published: (2002)

Манипуляции в общении и их нейтрализация Практическое руководство
by: Панкратов, Вячеслав Николаевич
Published: (2001)

Необоснованная налоговая выгода: доказательство и доказывание
by: Шухман, Н. В.

Алгоритмы вывода теорем метода векторных функций Ляпунова
Published: (1981)

Схема групповой аутентификации на основе доказательства с нулевым разглашением
by: Шляхтина, Елена Анатольевна

О сходимости нового алгоритма характеризации k-значных пороговых функций
by: Бурделев, Александр Владимирович

Итерированные модальные операторы и условия выводимости Гильберта-Бернайса
by: Целищев, Виталий Валентинович

Искусственный интеллект: Пер. с англ./
by: Хант, Э. Эрл
Published: (1978)

Математика сборник задач по углубленному курсу : учебно-методическое пособие
Published: (2024)

Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ
by: Ламберов, Лев Дмитриевич

Доказывания, доказательства и средства доказывания в гражданском и арбитражном судопроизводствах монография
by: Беланова, Галина Олеговна
Published: (2017)

Видео-и звукозапись в доказательственной деятельности следователя Автореферат диссертации на соискание ученой степени кандидата юридических наук. 12.00.09
by: Семенцов, Владимир Александрович
Published: (1994)

Ich denke, aber bin ich? Phantastische Reisen durch die Philosophie
by: Hauskeller, Michael
Published: (2004)

Аргументация как объект философского исследования Автореферат диссертации на соискание ученой степени кандидата философских наук. 09.00.03
by: Алексеев, Александр Петрович
Published: (1995)

Использование статистической информации в процессе доказывания и при вынесении судебных актов в цивилистическом и административном судопроизводстве
by: Рыжков, Константин Сергеевич