Приложение
для AndroidПолное описание
Beck, M. The art of proof : basic training for deeper mathematics / M. Beck, R. Geoghegan ; SpringerLink (Online service). - New York, NY : Matthias Beck and Ross Geoghegan, 2010. - on-line. - (Undergraduate texts in mathematics ; 0). - URL: http://dx.doi.org/10.1007/978-1-4419-7023-7. - ISBN 978-1-4419-7023-7. - Текст : электронный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.7 |
Кл.слова (ненормированные): ДОКАЗАТЕЛЬСТВ ТЕОРИЯ
Доп. точки доступа:
Geoghegan, R.
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-1-4419-7023-7
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 510.7-604413)
Шифр в сводном ЭК: 7bbef103f13f160ad66dad474cc0e06d
Бек М. Химия равновесий реакций комплексообразования, 1973. - 359 с. - Текст : непосредственный.First physical results from SND detector at VEPP-2M / M. N. Achasov, M. G. Beck, K. I. Beloborodov, 1997. - 51 p. - Текст : непосредственный.Prozessanalytische Bestimmung von Hypophosphit,Phosphit und Sulfat in sauren Chemisch-Nickel-Badlosungen mit schwingungsspektroskopischen Methoden / E. Gantner, M. Beck, H. G. Muller, D. Steinert, 1994. - 78 S. - Текст : непосредственный.Geoghegan R. Topological methods in group theory / R. Geoghegan, 2008 r=on-line. - Текст : электронный.Beck M. The art of proof : basic training for deeper mathematics / M. Beck, R. Geoghegan, 2010 r=on-line. - Текст : электронный.Beck M. Das Kontinuum diskret berechnen / M. Beck, S. Robins, 2008 r=on-line. - Текст : электронный.Beck M. Computing the continuous discretely : integer-point enumeration in polyhedra / M. Beck, S. Robins, 2007 r=on-line. - Текст : электронный.Status of the experiments with SND detector at e e collider VEPP-2M in Novosibirsk / M.N.Achasov,M.G.Beck,P.M.Beschastnov и др., 1996. - 12 p. - Текст : непосредственный.Beck M.E. Multipolare Ubergangsmomente : Diss. / M.E.Beck, 1997. - XIV,301 S. S. - Текст : непосредственный.Oil and the political economy in the Middle East : post-2014 adjustment policies of the Arab Gulf and beyond / edited by Martin Beck and Thomas Richter., 2021. - 7 с. (Введено оглавление). - Текст : электронный.
Mossinghoff M. Combinatorics and graph theory / M. Mossinghoff, J. Harris, J. L. Hirst, 2008 r=on-line
Edgar G. Measure, topology, and fractal geometry / G. Edgar, 2008 r=on-line. - Текст : электронный.Silverman J. An introduction to mathematical cryptography / J. Silverman, J. Hoffstein, J. Pipher, 2008 r=on-line. - Текст : электронный.Stillwell J. Naive Lie theory / J. Stillwell, 2008 r=on-line. - Текст : электронный.Hammerlin G. Numerical mathematics / G.Hammerlin,K.-H.Hoffmann;Transl. from ger. by L.Schumaker, 1991. - XI, 422 p. 422 p. - Текст : непосредственный.Hairer E. Analysis by its history / E. Hairer, G. Wanner, 2008 r=on-line. - Текст : электронный.Shonkwiler R.W. Mathematical biology : an introduction with maple and matlab / R. W. Shonkwiler, J. Herod, 2009 r=on-line. - Текст : электронный.Ghorpade S.R. A course in multivariable calculus and analysis / S. R. Ghorpade, B. V. Limaye, 2010 r=on-line. - Текст : электронный.Stillwell J. Mathematics and its history / J. Stillwell, 2010 r=on-line. - Текст : электронный.Davidson K.R. Real analysis and applications : theory in practice / K. R. Davidson, A. P. Donsig, 2010 r=on-line. - Текст : электронный.Hurlbert G. Linear optimization : the simplex workbook / G. Hurlbert, 2010 r=on-line. - Текст : электронный.Bak J. Complex analysis / J. Bak, D. J. Newman, 2010 r=on-line. - Текст : электронный.Beck M. The art of proof : basic training for deeper mathematics / M. Beck, R. Geoghegan, 2010 r=on-line. - Текст : электронный.Bressoud D.M. Factorization and primality testing / D.M.Bressoud, 1989. - XIII,237 p. p. - Текст : непосредственный.Givant S. Introduction to boolean algebras / S. Givant, P. Halmos, 2009 r=on-line. - Текст : электронный.Childs L. A concrete introduction to higher algebra / L. Childs, 2009 r=on-line. - Текст : электронный.Callahan J.J. Advanced calculus : a geometric view / J. J. Callahan, 2010 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Helrich C.S. Modern thermodynamics with statistical mechanics / C. S. Helrich, 2009. - XIII, 402 p. - Текст : непосредственный.On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line.Wechsler H. Reliable face recognition methods / H. Wechsler, 2007 r=on-line. - Текст : электронный.Golbeck J. Computing with social trust / J. Golbeck ; ed. J. Golbeck, 2009 r=on-line. - Текст : электронный.(Re)Searching the digital bauhaus / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Dong A. The language of design / A. Dong, 2009 r=on-line. - Текст : электронный.Seffah A. Adoption-centric usability engineering / A. Seffah, E. Metzker, 2009 r=on-line. - Текст : электронный.Takuma T. Electric fields in composite dielectrics and their applications / T. Takuma, B. Techaumnat, 2010. - XIII, 176 p. - Текст : непосредственный.Teschl G. Mathematik fur Informatiker / G. Teschl, S. Teschl, 2007 r=on-line. - Текст : электронный.Wagner M.H. Wegweiser fur den Erfinder / M. H. Wagner, W. Thieler, 2007 r=on-line. - Текст : электронный.Conrads U. Zeit des Labyrinths / U. Conrads, 2007 r=on-line.Isermann R. Mechatronische Systeme / R. Isermann, 2008 r=on-line. - Текст : электронный.Walter T. Kompendium der Web-Programmierung / T. Walter, 2008 r=on-line. - Текст : электронный.Reimers U. DVB — Digitale Fernsehtechnik / U. Reimers, 2008 r=on-line. - Текст : электронный.Ponn J. Konzeptentwicklung und Gestaltung technischer Produkte / J. Ponn, U. Lindemann, 2008 r=on-line. - Текст : электронный.Orlowski P.F. Praktische Regeltechnik / P. F. Orlowski, 2008 r=on-line. - Текст : электронный.Lunze J. Regelungstechnik 1 / J. Lunze, 2008 r=on-line. - Текст : электронный.Fetzer A. Mathematik 1 / A. Fetzer, H. Frankel, 2008 r=on-line. - Текст : электронный.Thies K.H. Management operationaler IT- und Prozess-Risiken / K. H. Thies, 2008 r=on-line. - Текст : электронный.Weigand B. Thermodynamik kompakt / B. Weigand, J. Kohler, J. von Wolfersdorf, 2008 r=on-line. - Текст : электронный.
Показать все результатыМир математики : в 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 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный.Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный.Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный.Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный.
Показать все результаты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 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Просмотр издания