A Survey of Proof Theory

Separating the foundations of mathematics from philosophy. Difference between the theory of formal systems theory and evidence. Classical first order predicate logic. Elementary and full analysis. Existing proof theory. Infinitely long expressions.

Рубрика Математика
Вид статья
Язык английский
Дата добавления 09.09.2012
Размер файла 4,4 M

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


HTML-версии работы пока нет.
Cкачать архив работы можно перейдя по ссылке или кнопке, которые находятся ниже.


Подобные документы

  • Construction of the general algorithm for integration of the linear usual distinctive equation. Creation of the common decision of the differential equation. An example of the decision of linear systems. Definition of components of certain functions.

    учебное пособие [2,4 M], добавлен 03.10.2011

  • The great encyclopedic of the Middle Ages Abu Raihon Muhammad ibn Ahmad al-Beruniy, who had been famous with the pseudonym "Ptolemy". Measuring the Distance on the Ground and the Height of a Mountain. The Distances between the Celestial Bodies.

    реферат [138,7 K], добавлен 21.03.2008

  • Review of concepts, forms and different ways of representing the methods of mathematical induction, characterization of its ideas and principles. Features of a multimedia learning object students and teachers on the example of the University of Latvia.

    реферат [1,1 M], добавлен 11.02.2012

  • Узагальнення учбового матеріалу шкільного курсу алгебри в розділі "Рівняння та нерівності"; розробка пропозицій щодо використання програмно-графічного комплексу Microsoft Mathematics 4.0 для впровадження інтегрованих інноваційних методологій викладання.

    дипломная работа [2,2 M], добавлен 16.06.2013

  • Огляд існуючих програмних комплексів. Особливості Finite Difference Time Domain Solution. Метод кінцевих різниць у часовій області. Граничні умови PEC симетрії і АВС. Проблема обчислення граничних полів. Прості умови поглинання. Вибір мови програмування.

    курсовая работа [242,5 K], добавлен 19.05.2014

Работа, которую точно примут
Сколько стоит?

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.