№ | Дата |
Автор |
Заглавие |
---|
|
2003 |
Антонова, Ольга Аркадьевна |
Табличные методы в логике : Специалистам в обл. логики и философии, а также студентам и аспирантам филос. фак. / О.А.Антонова ; С.-Петерб. гос. ун-т |
|
1974 |
Дулуб, Татьяна Дмитриевна |
Факт в устной политической информации |
|
1998 |
Зеленогорский, Федор Александрович (философ ; 1839—1908) |
О методах исследования и доказательства : [Сборник / Сост. и примеч.: К.А.Томилин |
|
2006 |
|
Proof technology and computation : [proc. of the NATO advanced study inst. on proof technology a. computation, Marktoberdorf, Germany, 29 July - 10 Aug. 2003] / ed. by Helmut Schwichtenberg, Katharina Spies |
|
2010 |
Сидоренко, Евгений Александрович (доктор философских наук ; род. 1940) |
Логика. Парадоксы. Возможные миры : размышления о мышлении в девяти очерках / Е. А.Сидоренко |
|
2012 |
Сирис, Аркадий Зефирович (публицист ; популяризатор) |
Физика релятивистская и нерелятивистская физика в критическом свете геометрической физики атома и атомной физической геометрии, или Аргументы доказательства ложной истинности основания релятивистской физики и ограниченной истинности основания физики нерелятивистской : (Приложение 3 к монографии "Геометрическая физика атома и атомная физическая геометрия. Теоретические основы") / А. З. Сирис |
|
2015 |
Хинчин, Александр Яковлевич (математик ; 1894—1959) |
Великая теорема Ферма / А. Я. Хинчин |
|
1950 |
Градштейн, Израиль Соломонович (кандидат физико-математических наук ; 1899—1958) |
Прямая и обратная теоремы |
|
1954 |
Баранова, Ирина Владимировна (кандидат педагогических наук, математик ; 1917—2009) |
Задачи на доказательство по алгебре : Пособие для учителя |
|
2019 |
Светлов, Виктор Александрович (доктор философских наук ; род. 1945) |
Силлогистика ассерторическая и модальная : новые решения старых проблем / В. А. Светлов |
|
1993 |
Мухачев, Виктор Павлович |
Генценовские методы в логике : Автореф. дис. на соиск. учен. степ. канд. филос. наук : 09.00.07 / Гос. С.-Петерб. ун-т |
|
1999 |
Орлов, Валерий Иванович (кандидат философских наук) |
Аргументация в предпринимательской деятельности: логико-теоретические основания и социокультурный статус : Автореф. дис. на соиск. учен. степ. канд. филос. наук : 09.00.11 / Бел. гос. ун-т |
|
2003 |
Лепешко, Борис Михайлович (доктор исторических наук ; кандидат философских наук ; 1955—2023) |
Логические основы правовой практики / Б. М. Лепешко ; Учреждение образования "Брестский государственный университет им. А. С. Пушкина" |
|
2009 |
Черемных, Лариса Георгиевна |
Взаимодействие доказательственной математики и права в процессе рационализации культуры : автореферат диссертации на соискание ученой степени кандидата философских наук : 24.00.01 / Черемных Лариса Георгиевна ; [Институт проблем освоения Севера СО РАН] |
|
1998 |
Pollicott, Mark |
Dynamical systems and ergodic theory / Mark Pollicott, Michiko Yuri |
|
2005 |
Kreuzer, Martin |
Computational commutative algebra 2 / Martin Kreuzer, Lorenzo Robbiano |
|
2002 |
|
Proof and system-reliability : Proc. of the NATO advanced study inst. on proof a. system-reliability, Marktoberdorf, Germany 24 July-5 Aug. 2001 / Ed. by H.Schwichtenberg a. R.Steinbruggen |
|
1904 |
Масленников, Александр Васильевич (1862— ) |
Опыт медико-статистической разработки уголовно-судебного материала : (по данным Могилевского окружного суда) : диссертация на степень доктора медицины лекаря А. В. Масленникова |
|
2010 |
Кельберт, Марк Яковлевич |
Вероятность и статистика в примерах и задачах / М. Я. Кельберт, Ю. М. Сухов ; пер. с англ. В. Кноповой, Ю. Мишуры, Л. Сахно. — Т. 2: Марковские цепи как отправная точка теории случайных процессов и их приложения ; [перевод с английского Л. Сахно под редакцией Ю. Мишуры] |
|
2010 |
Гейтинг, Аренд (математик ; 1898—1980) |
Интуиционизм : введение / А. Гейтинг ; перевод с английского В. А. Янкова ; под редакцией А. А. Маркова |
|
2007 |
Саядян, Сергей Мушегович |
Исследование сложностей выводов в системах неклассических логик : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Саядян Сергей Мушегович ; Институт проблем информатики и автоматизации НАН РА |
|
2007 |
Кожевников, Арист Александрович |
Сложность пропозициональных систем доказательств, оперирующих неравенствами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Кожевников Арист Александрович ; Санкт-Петербургский государственный университет |
|
1999 |
Столярова, Татьяна Владимировна (кандидат педагогических наук) |
Структура доказательства: логико-методический аспект : [учебно-методичнское пособие для студентов педагогических специальностей вузов, изучающих методику преподавания математики] / Т. В. Столярова, А. М. Радьков ; Министерство образования Республики Беларусь, Могилевский государственный университет им. А. А. Кулешова |
|
2000 |
Лукасевич, Ян Леопольд (философ ; 1878—1956) |
Аристотелевская силлогистика с точки зрения современной формальной логики = Aristotle's sillogistic from the standpoint of modern formal logic / Я. Лукасевич ; Пер. с англ. Н.И.Стяжкина, А.Л.Субботина ; Общ. ред. и вступ. ст. П.С.Попова |
|
2016 |
Арбит, Александр Владимирович (кандидат физико-математических наук) |
Неравенства и основные способы их доказательства / А. В. Арбит. — Ч. 1 |
|
2017 |
Кранц, Стивен (математик ; род. 1951) |
Изменчивая природа математического доказательства : доказать нельзя поверить / Стивен Кранц ; перевод с английского Н. А. Шиховой |
|
2023 |
Целищев, Виталий Валентинович (доктор философских наук ; переводчик ; род. 1942) |
Алгоритмический ум = Algorithmic mind : ментализм vs механизм в философии математики / В. В. Целищев |
|
1983 |
Солтан, Геннадий Николаевич (кандидат педагогических наук, математик ; род. 1951) |
Методика обучения доказательству неравенств в курсе математики средней школы : автореферат диссертации на соискание ученой степени кандидата педагогических наук : специальность 13.00.02 Методика преподавания математики / Солтан Геннадий Николаевич ; Минский государственный педагогический институт им. А. М. Горького |
|
1992 |
Кузина, Елена Борисовна (кандидат философских наук) |
Практические вопросы логики |
|
1994 |
Малахов, Валерий Петрович (доктор юридических наук ; кандидат философских наук) |
Логика рассуждений : Лекции / Моск. высш. шк. милиции |
|
2002 |
Hellegouarch, Yves |
Invitation to the mathematics of Fermat-Wiles |
|
2006 |
Ehrlich, Gunter |
Nachweisvermogen von Analysenverfahren : objektive Bewertung u. Ergebnisinterpretation / Gunter Ehrlich, Klaus Danzer |
|
2014 |
|
Доказательство = Proof : [очевидность, достоверность и убедительность в математике] : труды Московского семинара по философии математики / под редакцией В. А. Бажанова, А. Н. Кричевца, В. А. Шапошникова |
|
1997 |
Калиниченко, Н. И. |
Треугольники [Изоматериал] : математика : альбом учебный / авторы: Н. И. Калиниченко, В. А. Разоренова ; художник: М. В. Коровяцкая |
|
2022 |
Резник, Елена Михайловна |
Обучение учащихся установлению содержательных связей в курсе геометрии 7 класса : автореферат диссертации на соискание ученой степени кандидата педагогических наук : специальность 5.8.2 Теория и методика обучения и воспитания (естественные и точные науки) / Резник Елена Михайловна ; [Российский государственный педагогический университет им. А. И. Герцена] |
|
2001 |
|
Quantum reflections / Ed. by J.Ellis a. D.Amati; Contributors: R.Penrose et al |
|
2014 |
Ширикова, Татьяна Сергеевна |
Методика обучения учащихся основной школы доказательству теорем при изучении геометрии с использованием GeoGebra : автореферат диссертации на соискание ученой степени кандидата педагогических наук : специальность 13.00.02 Теория и методика обучения и воспитания / ШириковаТатьяна Сергеевна ; [Северный (Арктический) федеральный университет им. М. В. Ломоносова] |
|
2017 |
Юнусов, Артем Тимурович |
Структура доказательного знания во "Второй аналитике" Аристотеля : автореферат диссертации на соискание ученой степени кандидата философских наук : специальность 09.00.03 История философии / Юнусов Артем Тимурович ; [Московский государственный университет им. М. В. Ломоносова] |
|
2019 |
Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) |
Простейшие примеры математических доказательств / В. А. Успенский |
|
2021 |
Аристотель (384—322 до н. э.) |
Аналитики : первая и вторая : [третья и четвертая части "Органона"] / Аристотель ; перевод с греческого Б. А. Фохта |
|
2023 |
Лосский, Николай Онуфриевич (философ ; 1870—1965) |
Логика / Н. О. Лосский |
|
2024 |
Ординг, Филип |
99 вариантов доказательства : [перевод с английского] / Филип Ординг |
|
1988 |
Медведская, Валентина Николаевна (кандидат педагогических наук ; род. 1943) |
Обучение младших школьников доказательству математических предложений : Автореф. дис. на соиск. учен. степ. канд. пед. наук : 13.00.02 / Медведская Валентина Николаевна ; Мин. гос. пед. ин-т им.А.М.Горького |
|
1985 |
Муравьева, Галина Леонидовна (кандидат педагогических наук ; род. 1957) |
Обучение учащихся 6―7 классов доказательствам геометрических теорем через задачи : автореферат диссертации на соискание ученой степени кандидата педагогических наук : специальность 13.00.02 Методика преподавания математики / Муравьева Галина Леонидовна ; Минский государственный педагогический институт им. А. М. Горького |
|
1985 |
Хашимов, Рахимжон (кандидат педагогических наук) |
Обучение доказательству в курсе геометрии восьмилетней школы : автореферат диссертации на соискание ученой степени кандидата педагогических наук : специальность 13.00.02 Методика преподавания математики / Хашимов Рахимжон ; Министерство просвещения Белорусской ССР, Минский государственный педагогический институт им. А. М. Горького |
|
1993 |
Бойко, А. П. |
Логика |
|
2010 |
Тренделенбург, Фридрих Адольф (философ ; 1802—1872) |
Логические исследования = Logische Untersuchungen : [в 2 ч.] / А. Тренделенбург ; перевод с немецкого Е. Ф. Корша. — Ч. 2 |
|
2013 |
Ромашко, Владимир Иванович (физика) |
Сенсационные открытия физики XXI века / В. И. Ромашко, А. И. Ромашко. — Кн. 1: Тайна опыта Майкельсона-Морли, или Конец принципа относительности Альберта Энштейна : научно-юмористическая драма |
|
2012 |
Брюшинкин, Владимир Никифорович (доктор философских наук ; 1953—2012) |
Теория поиска вывода. Происхождение и философские приложения / В. Н. Брюшинкин, Н. А. Ходикова ; Балтийский федеральный университет им. И. Канта |
|
2018 |
Маневич, Леонид Исакович (доктор технических наук) |
Взаимодействие физики и математики : сборник научно-популярных статей / Л. И. Маневич ; [авторская редакция] |