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

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

Библиографическая информация
Главный автор:	Успенский, Владимир Андреевич 1930-2018
Формат:	Книга
Язык:	Russian
Публикация:	Москва Издательство Московского центра непрерывного математического образования 2019
Редактирование:	Изд. 3-е, стер.
Серии:	Библиотека "Математическое просвещение"
Предметы:	математические доказательства математические термины, точность математические термины, однозначность метод перебора (мат. доказательство) математическое доказательство прямое математическое доказательство косвенное Дирихле принцип (мат. доказательство) доказательства способом "от противного" принцип наибольшего числа (мат. доказательство) принцип наименьшего числа (мат. доказательство) метод бесконечного спуска (мат. доказательство) математическая индукция, метод доказательства аксиоматический метод неформальный (мат. доказательство) аксиоматический метод формальный (мат. доказательство) Геделя теорема
Online-ссылка:	Перейти в каталог НБ ТГУ

Похожие документы

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

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

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

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

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

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

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

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

Доказательство теоремы Ферма
по: Овчинников, Геннадий Иванович 1938-
Публикация: (2017)

Доказательство теоремы Ферма
по: Овчинников, Геннадий Иванович 1938-
Публикация: (2014)

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

Аналитики: пер. с древнегреч./
по: Аристотель
Публикация: (1998)

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

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

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

Digitale Dokumente als Beweis im Zivilprozess
по: Fanger, Reto
Публикация: (2005)

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

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

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

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

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

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

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

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

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

Неравенства. Методы доказательства
по: Седракян, Наири Моликович
Публикация: (2002)

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

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

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

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

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

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

Искусственный интеллект: Пер. с англ./
по: Хант, Э. Эрл
Публикация: (1978)

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

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

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

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

Ich denke, aber bin ich? Phantastische Reisen durch die Philosophie
по: Hauskeller, Michael
Публикация: (2004)

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

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