Формализма

Реферат Курсовая Конспект

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Соответствующий теме материал
  • Похожее
  • По категориям
  • По работам

Формализма

Формализма - используемый тег на сайте, здесь можно скачать или скопировать материал при условии соблюдения авторских прав его правообладателя.Формализма Все работы по данной метке.

ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОГО ФОРМАЛИЗМА ДЛЯ ФИЛОЛОГОВ
НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ...

  1. Формализм натуральных чисел
  2. Вывод 1
  3. Замечание 1
  4. Аксиомы порядка
  5. Следствие
  6. Задача 1
  7. Задача 2
  8. Аксиоматизация множества действительных чисел
  9. Аксиома непрерывности Кантора.
  10. Задача 2
  11. Аксиоматическое обоснование евклидовой геометрии
  12. Группа 1. Аксиомы соединения
  13. Группа 2. Аксиомы порядка
  14. Теорема 4
  15. Группа 3. Аксиомы конгруэнтности
  16. Вывод 1
  17. Группа 4. Аксиомы непрерывности
  18. Замечание 3
  19. Замечание 4
  20. Два недостатка аксиоматики Д. Гильберта
  21. Модель направленных отрезков
  22. Определение
  23. Теорема размерности
  24. Вывод 1
  25. Вывод 2
  26. Вывод 3
  27. Определение абстрактного векторного пространства
  28. Следствие
  29. Аксиомы скалярного произведения векторов
  30. Следствие
  31. Следствие
  32. Определение
  33. Арифметизация трехмерного евклидова пространства
  34. Вывод 1
  35. Многомерное арифметическое евклидово пространство
  36. Вывод 3
  37. Определение плоскости Лобачевского
  38. Основные факты в планиметрии Лобачевского
  39. Перпендикуляр к стороне угла
  40. О роли открытия неевклидовой геометрии
  41. Вывод 3
  42. Понятие отношений между объектами
  43. Определение
  44. Следствие 2
  45. Понятие математической структуры
  46. Определение
  47. Модель или реализация системы аксиом
  48. Замечание 1
  49. Вывод 1
  50. Определение
  51. Изоморфизм
  52. Определение изоморфизма
  53. Вывод 3
  54. Вывод 5
  55. Непротиворечивость системы аксиом
  56. Вывод 1
  57. Независимость аксиоматической системы
  58. Независимость аксиомы параллельности
  59. Дедуктивная полнота и категоричность системы аксиом
  60. Определение (дедуктивной полноты)
  61. Определение (категоричности)
  62. Языковые свойства имен объектов
  63. Проблема выразимости
  64. Понятие искусственного языка
  65. Понятие парадокса
  66. Парадокс пустого множества
  67. Парадокс достижимости в натуральном ряде
  68. Обозначения.

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:

Сохранить или поделиться страницей

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Еще рефераты, курсовые, дипломные работы на эту тему: