Полное описание
Перминов, В. Я. ISBN 5-354-00891-3. - Текст : непосредственный.
ГРНТИ УДК 27.03.19 510.7 03.91
Рубрики: Доказательств теория
Кл.слова (ненормированные): ДОКАЗАТЕЛЬСТВО -- ТЕОРИЯ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-04/1932)
Шифр в сводном ЭК: 4fb92f1ab1c248dec202da225d837d7d
Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-line Romano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-line Teodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-line Иванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный. Хованский А.Д. Геохимия аквальных ландшафтов / А. Д. Хованский, 1993. - 239 c. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Кузнецов П.Б. Основы нечеткой математики. Теория нечетких множеств / П. Б. Кузнецов, Ю. К. Оленикова, 2003. - 154 с. - Текст : непосредственный. Арсеньев Д.Г. Адаптивное управление в стохастических методах вычислительной математики и механики : учебное пособие / Д. Г. Арсеньев, В. М. Иванов, М. Л. Кореневский, 2008. - 423 с. - Текст : непосредственный. Цивинский С.В. Специальная теория относительности, понятие времени, новая возможность уточнения классической механики и зависимость физических свойств от скорости движения / С. В. Цивинский, 1989. - 33 л. - Текст : непосредственный. Численные методы механики сплошной среды : материалы временных коллективов / АН СССР, Сибирское отделение, 1991. - 171 с. - Текст : непосредственный. Показать все результаты Люксембург А.А. Автоматизированное построение математических теорий / А. А. Люксембург, 2005. - 30 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Попов С.В. Об устранимости аксиомы индукции / С.В. Попов, 2005. - 27 с. - Текст : непосредственный. Целищев В.В. Эпистемология математического доказательства / В. В. Целищев, 2006. - 211 с. - Текст : непосредственный. Кранц С. Изменчивая природа математического доказательства. Доказать нельзя поверить / С. Кранц; пер. с англ. Н. А. Шиховой, 2018. - 320 с. - Текст : непосредственный. Логика и компьютер : Сб.ст. Вып. 5 : Пусть докажет компьютер, 2004. - 207 с. - Текст : непосредственный. Янов Ю.И. Математика, метаматематика и истина / Ю. И. Янов, 2006. - 32 с. - Текст : непосредственный. Перминов В.Я. Развитие представлений о надежности математического доказательства / В.Я.Перминов, 2004. - 240 с. - Текст : непосредственный. Лакатос И. Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; пер. с англ. с предисл. И. Н. Веселовского; отв. ред. И. Б. Погребысский, 2010. - 152 с. - Текст : непосредственный. Ларионов А.А. Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул / А. А. Ларионов, Е. А. Черкашин, 2014. - 104 с. - Текст : непосредственный. The seventeen provers of the world / SpringerLink (Online service), 2006 r=on-line Кранц С. Изменчивая природа математического доказательства. Доказать нельзя поверить / С. Кранц; пер. с англ. Н. А. Шиховой, 2016. - 320 с. - Текст : непосредственный. Aigner M. Das Buch der Beweise / M. Aigner, G. M. Ziegler, 2010 r=on-line. - Текст : электронный. Люксембург А.А. Автоматизированное построение математических теорий / А. А. Люксембург, 2005. - 30 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Kohlenbach U. Applied proof theory: proof interpretations and their use in mathematics / U. Kohlenbach, 2008 r=on-line. - Текст : электронный. Interactive theorem proving : 1st International conference, ITP 2010, Edinburgh, UK, July 11-14, 2010: proceedings / eds. M. Kaufmann, L. C. Paulson, 2010 r=on-line. - Текст : электронный. Ревенко А.В. Построение импликативных зависимостей для аналитического описания предметных областей и обнаружения ошибок в данных : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / А. В. Ревенко, 2013. - 27 с. - Текст : непосредственный. Попов С.В. Об устранимости аксиомы индукции / С.В. Попов, 2005. - 27 с. - Текст : непосредственный. Pohlers W. Proof theory : the first step into impredicativity / W. Pohlers, 2009 r=on-line. - Текст : электронный. Aigner M. Proofs from the book / M. Aigner, G. M. Ziegler, 2010 r=on-line. - Текст : электронный. Indrzejczak A. Natural deduction, hybrid systems and modal logics / A. Indrzejczak, 2010 r=on-line. - Текст : электронный. Beck M. The art of proof : basic training for deeper mathematics / M. Beck, R. Geoghegan, 2010 r=on-line. - Текст : электронный. Опарин В.В. Оценки сложности вывода в системах доказательств, основанных на методе резолюций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / В. В. Опарин, 2016. - 17 с. - Текст : непосредственный. Aigner M. Proofs from the book / M. Aigner, G. M. Ziegler, A. Quarteroni, 2006 r=on-line. - Текст : электронный. Computer aided proof in analysis : Proc.of an IMA Participating inst.conf.,Cincinnati(Oh),Apr.1989 / сост.ed. K. R. Meyer, сост.ed. D. S. Schmidt, 1991. - 251 p. - Текст : непосредственный. Lecture notes in computer science / ed. G. Goos [et al.]. 6898 : Interactive theorem proving : second intern. conf., ITP 2011, Berg en Dal, the Netherlands, Aug. 22-25, 2011 : proc. / International conference on interactive theorem proving (2nd ; 2011 ; Berg en Dal), 2011. - XI, 383 p. - Текст : непосредственный. Кранц С. Изменчивая природа математического доказательства. Доказать нельзя поверить / С. Кранц; пер. с англ. Н. А. Шиховой, 2018. - 320 с. - Текст : непосредственный. Логика и компьютер : Сб.ст. Вып. 5 : Пусть докажет компьютер, 2004. - 207 с. - Текст : непосредственный. Перминов В.Я. Развитие представлений о надежности математического доказательства / В.Я.Перминов, 2004. - 240 с. - Текст : непосредственный. Лакатос И. Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; пер. с англ. с предисл. И. Н. Веселовского; отв. ред. И. Б. Погребысский, 2010. - 152 с. - Текст : непосредственный. Ларионов А.А. Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул / А. А. Ларионов, Е. А. Черкашин, 2014. - 104 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
