RUSIST
Единый реестр книг

Доказательство

Показать все ссылки каталога
Теорема Ферма и разложимость степенных вычетов
2008
Камлия Расим Аркадьевич (1948-)
1755
0
В мире идеального : основание и доказательство в философии Гегеля
2015
Рута Владимир Дмитриевич
1734
0
Об ошибке Лежандра в доказательствах постулата Евклида и гипотезы Ферма
2016
Проскуряков Михаил Н
889
0
Элементарное доказательство Великой теоремы Ферма = Elementary proof of Fermat`s great theorem
2004
Галканов Аллаберди Галканович
723
0
Оценка доказательств в уголовном процессе
2002
Громов Николай Александрович (юрист)
1229
0
Der philosophische Beweis
1967
Klotz Hans
1989
0
Теорема Ферма на полях "книги Диофанта"
2007
АЛ ПО (псевдоним)
2176
0
Избранные теоремы школьной математики в деталях и нюансах : учебное пособие
2010
Корикова Тамара Михайловна, Суслова Ирина Васильевна, Ястребов Александр Васильевич
988
0
Доказательство теоремы Ферма
2016
Овчинников Геннадий Иванович
1092
0
Элементарное доказательство Великой теоремы Ферма, или О невозможности разложения какой-либо степени, большей чем два, на две степени с таким же показателем
2010
Назаров Александр Александрович (математик 1948-)
1594
0
Доказательства и опровержения : как доказываются теоремы
2010
Лакатос Имре
2258
0
Доказательства и доказывание в уголовном процессе : учебно-методическое пособие
2010
Деришев Юрий Владимирович, Кайгародова Юлия Евгеньевна, Волторнист Оксана Анатольевна
1528
0
Великая теорема и ее великая простота
2010
АЛ ПО (псевдоним)
2552
0
Доказательство Большой теоремы Ферма и теоремы о представлении иррациональных чисел
1998
Макарчук Михаил Михайлович
967
0
Прямая и обратная теоремы : Элементы алгебры логики
1972
Градштейн Израиль Соломонович
1442
0
5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980 : Papers
1980
Conference on automated deduction (5 1980 Les Arcs (France))
793
0
Правовые и организационные вопросы предупреждения утраты и восстановления уголовных дел : учебное пособие : для курсантов и слушателей образовательных учреждений МВД России юридического профиля
2005
Ефремова Надежда Павловна, Кальницкий Владимир Васильевич
1239
0
Power residues expandability and the theorem of Pierre de Fermat
2011
Kamlija Rasim Arkad'evič
544
0
Последняя тайна Великой теоремы Ферма : для целых чисел n больше 2 уравнение Fⁿ=Aⁿ+Bⁿ (1) не имеет ненулевых решений в натуральных числах
2016
Попов Леонид Федорович, Селин Арт
2448
0
Подходы к доказательству теоремы Ферма
2009
Романов Вадим Николаевич
1431
0
Невостребованные идеи XX века
2009
Петров В. С.
1707
0
Возможный подход к доказательству теоремы Ферма
2011
Гуршев Игорь Глебович
1498
0
Доказательства из Книги : лучшие доказательства со времен Евклида до наших дней
2015
Айгнер Мартин, Циглер Гюнтер Матиас
571
0
Логика и теория аргументации : элементарный курс : учебное пособие
2007
Ивин Александр Архипович (1939-2018)
1761
0
Методика обучения доказательству с использованием средств естественного вывода при изучении курса математики основной школы : монография
2013
Лукьянова Елена Викторовна
768
0
Великая теорема от Пифагора до Ферма : доказательство
2012
АЛ ПО (псевдоним)
2932
0
Великая теорема Ферма доказано просто. Выход - фонд АБЕЛЯ = Fermas siste sats det viste seg lett. Exit - Abelfondet
2015
АЛ ПО (псевдоним)
2521
0
Аналитико-синтетический метод доказательства теорем геометрии
1959
Гречкин Н.З.
2635
0
Великая теорема Ферма. Большая эпоха величайших заблуждений
2011
АЛ ПО (псевдоним)
2495
0
Логика и теория аргументации : учебное пособие : практикум для студентов специальности 40.05.01 "Правовое обеспечение национальной безопасности", форма обучения - очная
2016
Гусакова Тамара Федоровна, Пупышева Ирина Николаевна
1278
0
Правда о неевклидовой геометрии, или Что такое прямая линия; Как Ферма мог доказать великую теорему / П. М. Орлов
2017
Орлов Петр Макарович (воен. инженер 1930 -)
2447
0
Опыт построения теории доказательства в логике : Автореферат дис. на соискание учен. степени кандидата филос. наук
1949
Моргачев Василий Михеевич
1339
0
Этюды пространственно-временной механики и последняя теорема Ферма
2003
Базаров Сергей Михайлович
2815
0
Большая теорема Ферма и психология творчества : монография
2011
Калошина Инна Павловна
1347
0
Возможные подходы к доказательству теоремы Ферма
2004
Гуршев Игорь Глебович
575
0
Теоретические основы доказательства теоремы Ферма : пространственная теория оснований геометрии. Способы решения теоремы Ферма
2006
Малашенко Олег Иванович
1637
0
Неравенства. Методы доказательства
2002
Седракян Наири Моликович, Авоян Амбарцум Мамиконович
1402
0
Решение проблемы Ферма
1997
Сердинский Василий Гурьевич
1440
0
Три жемчужины теории чисел
1979
Хинчин Александр Яковлевич
2913
0
Доказательство великой теоремы Ферма. Формализованный способ разложения Z2=X2+Y2
2002
Костючков Александр Иванович
2040
0
Генценовские методы в логике : Автореф. дис. на соиск. учен. степ. к.филос.н
1993
Мухачев Виктор Павлович
1099
0
A method in proofs of undefinability : With applications to functions in the arithmetic of natural numbers
1959
Bouvère Karel Louis de
2408
0
Сущность и способы собирания доказательств в советском уголовном процессе : Учеб. пособие
1972
Шейфер Семен Абрамович
689
0
Некоторые возможные подходы к рассмотрению теоремы Ферма
2007
Гуршев Игорь Глебович
2809
0
Fermat's theorem: another proof
2011
Kamlija Rasim Arkad'evič
1061
0
Фактор адресата в публичном аргументирующем дискурсе : монография
2004
Вольвак Нина Петровна
1006
0
Проблема доказательства в философии
2002
Рута Владимир Дмитриевич
2947
0
Обучение школьников доказательству теорем с использованием дидактических тестов : Автореф. дис. на соиск. учен. степ. к.п.н. : Спец. 13.00.02
2000
Столярова Татьяна Владимировна
2238
0
Логика : планы семинарских занятий и методические указания
2013
Купарашвили Мзия Джемаловна
2507
0
Методика изложения доказательств некоторых теорем в курсе стереометрии
1963
Тимофеев А.И.
1070
0
Гипотеза Ферма как следствие теоремы максимума символической информации
2012
Проскуряков Михаил Н
2418
0
Использование некоторых неравенств при доказательстве теоремы Ферма
2005
Гуршев Игорь Глебович
1327
0
Теоретическое основы доказательства теоремы Ферма : Пространственная теория оснований геометрии. Способы решения теоремы Ферма
2006
Малашенко Олег Иванович
1230
0
Последняя теорема Ферма. Конструктивные доказательства
2005
Макаров Алексей Иванович (математик 1939-)
1494
0
К вопросу решения в натуральных числах уравнения вида x + y = z для целых n 2
2011
Павлов Анатолий Тимофеевич (математик)
2869
0
О доказательстве теоремы Ферма
2012
Гуршев Игорь Глебович
3005
0
Тесты учебной деятельности в процессе доказательства теорем : монография
2017
Сеногноева Наталия Анатольевна
698
0
Использование решений уравнения третьей степени при доказательстве теоремы Ферма
2010
Гуршев Игорь Глебович
1729
0
П. Ферма все-таки знал доказательство своей "большой" теоремы
2005
Кузнецов Виктор Владимирович (физик)
1234
0
Элементарное доказательство большой теоремы Ферма
2004
Желтухин Борис Васильевич
2046
0
Argumentation : Approaches to theory formation : Containing the contributions to the Groningen conf. on the theory of argumentation, Oct. 1978
1982
2865
0
Правила дискуссии и уловки спора
2008
Родос Валерий Борисович
1470
0
Доказательство теорем Гюльдена элементарным путем и их применение к решению задач : (Метод. пособие для учителей математики Харьк. обл. и студентов физ.-мат. фак. педин-та для работы мат. кружков)
1963
Рабинович М.З., Наумов И.А.
2451
0
The nature of argument
1980
Lambert Karel, Ulrich William
2943
0
Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул : монография
2014
Ларионов Александр Александрович, Черкашин Евгений Александрович
1348
0
Элементарное доказательство последней (великой) теоремы П. Ферма
2001
Соколов Геннадий Максимович (д-р техн. наук)
2160
0
Неизвестное об известном в релятивизме и теории информации
2005
Дивеев Вадим Николаевич
1983
0
Решение великой теоремы Ферма для нечетных степеней
2009
Калугин Виталий Алексеевич
1730
0
Исследование решений уравнений вида xn+yn=zn при n>2 (n=2,3,4,...)
2009
Павлов Анатолий Тимофеевич (математик)
2140
0
О доказательстве теорем в курсе геометрии VI класса
1960
Кузьмина Серафима Алексеевна
837
0
Доказательство как философская проблема
1991
Рута Владимир Дмитриевич
1149
0
Великая теорема Ферма и некоторые вопросы Теории пространства
2010
Назаров Александр Александрович (математик 1948-)
564
0
Основы логики и теории аргументации : учебное пособие по курсу "Логика"
2016
Синицкий Дмитрий Анатольевич
2965
0
Computation and proof theory
1984
1463
0
Последовательность гипотетических равенств Ферма и принцип евклидовой логической стационарности
2014
Проскуряков Михаил Н.
2897
0
К вопросу доказательства теоремы Ферма
2002
Тухватов Миндигали Бадретдинович
1035
0
De la logique à l'argumentation
1982
Grize Jean-Blaise
2137
0
Доказательство как философская проблема
1991
Рута Владимир Дмитриевич
555
0
Traité de l'argumentation : La nouvelle rhétorique
1983
Perelman Chaim, Olbrechts-Tyteca Lucie
1445
0
Происхождение натуральных чисел; Доказательство последней теоремы Ферма (2n-1) +(2n) =(2n+1); Закон распределения простых чисел L =2 +1, где m=n / Л.С. Арзуманян
2001
Арзуманян Левон Сетракович
1565
0
Решение проблемы Ферма
2006
Сердинский Василий Гурьевич
2969
0
Прикладные аспекты теории доказательств : Учеб. пособие
1999
Попов Сергей Викторович (канд. физ.-мат. наук кибернетика 1946 -)
1910
0
Теорема Ферма в исчислении высказываний
2012
Проскуряков Михаил Н.
2815
0
Он околпачил весь математический мир
2008
АЛ ПО (псевдоним)
1723
0
Identity of proofs : Diss. = Тождественность доказательств.
2001
Widebäck Filip
2301
0
Функции z=(x^a+y^a)^(1/а). Последняя (великая) теорема П. Ферма : (элемент. доказательство)
2004
Соколов Геннадий Максимович (д-р техн. наук)
1221
0
Доказательство Пьера Ферма последней теоремы Ферма
2014
Ремизов Вадим Григорьевич
2529
0
По следам теоремы Пифагора
2000
Вавилов Валерий Васильевич
2549
0
Аргументация vs манипуляция : сборник научных статей
2009
1185
0
Philosophische und einzelwissenschaftliche Aspekte der Beweistheorie : Beiträge von Kolloquien des Arbeitskreises "Philosophie-Naturwissenschaften" (insbesondere vom 31.5 und 7.6. 1972)
1973
2704
0
Analogical reasoning : Perspectives of artificial intelligence, congitive science, a. philosophy
1988
1364
0
Великая теорема Ферма : полное доказательство
2006
Ванюрихин Александр Иванович
1130
0
Новые методики в арифметике целых чисел
2012
Орлов Петр Макарович (воен. инженер 1930 -)
809
0
Великая теорема Ферма. Время обрести потерянное
2014
АЛ ПО (псевдоним)
2150
0
Теорема единственности для радиального преобразования множеств = A uniqueness theorem for radial transformation of sets
1998
Ахмедзянова Елена Гумаровна
2543
0
Логическая культура врача : учебное пособие
2015
Мухин Александр Петрович, Погорелов Валерий Иванович
2424
0
Учение логики о доказательстве и опровержении
1954
Асмус Валентин Фердинандович
2905
0
Теория и практика аргументации : учеб. пособие
2004
Кунафин Марат Самирханович
1951
0
Современная теория дискурса: когнитивно-фреймовый и аргументативный подходы
2005
Правикова Людмила Владимировна
1293
0
Доказательство теоремы Ферма
2014
Овчинников Геннадий Иванович
1751
0
Теория и практика аргументации : учебно-методическое пособие
2017
Ерохина Наталья Викторовна
1929
0
Reasoning and logic
1964
Angell Richard Bradshaw
2843
0
Покорение "Великой теоремы" Пьера Ферма
2004
Шилякин Алексей Дмитриевич
2360
0
Доказательство "Великой" теоремы Ферма
1997
Макарчук М. М.
1540
0
Великая теорема Ферма. Её простой конец : монография
2013
АЛ ПО (псевдоним)
1979
0
Великая теорема Ферма : простейшее доказательство и блеф остальных
2011
АЛ ПО (псевдоним)
1069
0
Логика : учебное пособие
2006
Косолапов Валерий Павлович
1734
0
Решение великой теоремы и тайна уравнения Ферма
2010
Калугин Виталий Алексеевич
1234
0
Способы доказательства теоремы Ферма
2005
Романов Вадим Николаевич (д-р техн. наук)
2083
0
Изменчивая природа математического доказательства : доказать нельзя проверить
2016
Кранц Стивен
2499
0
Isabelle : A generic theorem prover = Isabelle программа для доказательства теорем..
1994
Paulson Lawrence C
2798
0
К вопросу решения в натуральных числах уравнения вида xn+yn=zn при n>=2 (n=2,3,4...)
2010
Павлов Анатолий Тимофеевич (математик)
2928
0
Доказательство как философская проблема
1991
Рута Владимир Дмитриевич
2095
0
Функция z=(xа + yа)1/a. Последняя (великая) теорема П. Ферма : (Элементар. доказательство)
2003
Соколов Геннадий Максимович (д-р техн. наук)
1623
0
Великая теорема Ферма : арифметическое решение
2009
Орлов Петр Макарович (воен. инженер 1930 -)
2751
0
Теорема Ферма : простое решение - перчатка брошена! : к 410-й годовщине со дня рождения Пьера де Ферма
2010
АЛ ПО (псевдоним)
1211
0
Общая последняя теорема П. Ферма = Fermat's last theorem : (элементарное доказательство)
2006
Соколов Геннадий Максимович (д-р техн. наук)
2204
0
Второй вариант решения великой теоремы Ферма для нечетных степеней
2013
Калугин Виталий Алексеевич
2928
0
Элементарное доказательство последней теоремы Ферма
2001
Перов Л. А.
1169
0
Неклассические модели этической аргументации : монография
2003
Викторук Елена Николаевна
1035
0
Доказательство теоремы Ферма
2017
Овчинников Геннадий Иванович
605
0
Теория и практика аргументации : (как часть семиологии) : учебное пособие
2005
Григорьев Борис Васильевич (д-р филос. наук 1943-)
2461
0
Принцип логической единственности и единственность троек Ферма - Пифагора
2015
Проскуряков Михаил Н
1394
0
Обратная теорема : (Алгоритм. и эврист. процессы мышления)
1978
Корельская Татьяна Дмитриевна, Падучева Елена Викторовна
2259
0
Большая теорема Ферма : большие числа. Метод анализа. Выход в доказательство : монография
2017
Калошина Инна Павловна
2684
0
Исследование решений уравнения вида xn+yn=zn при n>2 (n=2,3,4,...)
2010
Павлов Анатолий Тимофеевич (математик)
747
0
Интегрирование по многообразиям и теорема Стокса : (Конспект лекций)
1978
Дороговцев Анатолий Яковлевич
2390
0
О доказательстве в математике : (Методол. анализ)
1979
Аракелян Грант Бабкенович
1751
0
Доказательство гипотезы Ферма в исчислении высказываний
2016
Проскуряков Михаил Н.
2995
0
Простая "арифметика". Или как русские уделали американцев
2016
АЛ ПО (псевдоним)
2763
0
Dissertationum philosophicarum De existentia Dei atque creatione ex nihilo ex contingentia in mundo totius mundi atque elementorum indole demonstrata, prima[-secunda] ... Dissertatio 1 : Quae principia demonstrationis exhibet.
1724
1055
0
Теория аргументации : практикум
2017
Черняков Алексей Адольфович
2099
0
Прямая и обратная теоремы : Элементы алгебры логики
1959
Градштейн Израиль Соломонович
1292
0
Прямая и обратная теоремы
1950
Градштейн Израиль Соломонович
662
0
Определение и доказательство в курсе высшей математики : Для слушателей фак. повышения квалификации и преподавателей математики вузов
1978
Куваев Михаил Романович
910
0
Элементарное доказательство теоремы Ферма : краткий исторический обзор
2007
Павлов Анатолий Тимофеевич (математик)
1840
0
Теоремы Ахинеева
1998
Попов Н. А., Попов А. Н.
2550
0
Рекуррентные последовательности, фрактальные иерархические структуры и конические сечения при конструктивных обобщениях теоремы Пифагора
2005
Фирстов Виктор Егорович
1199
0
Некоторые гипотезы теории чисел как следствия теоремы параллельных
2010
Проскуряков Михаил Н.
1391
0
Гипотеза Ферма о единственности пифагоровых троек в исчислении высказываний
2011
Проскуряков Михаил Н.
815
0
Трактат Николая де Лиры "Probatio adventus Christi" и его церковнославянский перевод конца XV века : Доказательство пришествия Христа : Лат. теол. трактат и его пер. на церковнослав. яз., выполн. Дм. Герасимовым в начале ХVI в.
1999
Федорова Екатерина Сергеевна (канд. филол. наук доктор культурологии)
1090
0
Гражданский и арбитражный процесс : учебно-практическое пособие для студентов высшего профессионального образования
2010
Бахарев Павел Васильевич, Диордиева Ольга Николаевна
1830
0
Обобщение теоремы Пинкерле для К-членных рекуррентных соотношений
2000
Парусников В. И.
2423
0
Поиски решений уравнения N-ой степени с тремя неизвестными
2005
Большакова Наталия
1344
0
Он закрыл Великую Проблему Ферма
2009
Алави Мария Алексеевна
1885
0
Доказательство и опровержение : Метод. пособие для студентов-заочников юрид. фак
1967
1941
0
К вопросу элементарного доказательства теоремы Ферма : историко-мат. заметки
2004
Павлов Анатолий Тимофеевич (математик)
708
0