статья  Теорія типів гомотопій (HoTT): зв’язок між математикою та комп’ютерними науками

• посмотреть текст работы

• полная информация о работе

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

• Розвиток творчого мислення старшокласників на уроках математики з використанням інформаційних технологій

  Активізація учбово-пізнавальної діяльності учнів. Психолого-педагогична характеристика творчого мислення. Поняття інноваційної технології навчання. Використання персонального комп'ютера при побудові графіків функцій в 8 класах, результати експерименту.
  
  дипломная работа [944,4 K], добавлен 24.04.2009
  

• Математика – цариця наук (зв’язок математики з іншими науками)

  Робота присвячена важливісті математики, їх використанню у різних галузях науки. Інформація, яка допоможе зацікавити учнів при вивченні математики. Етапи розвитку математики. Філософія числа піфагорійців. Математичні формули у фізиці, хімії, психології.
  
  курсовая работа [347,2 K], добавлен 12.09.2009
  

• Фрактальна розмірність

  Перегляд основ математики. Фрактальні властивості в природі. Фрактальна розмірність Хаусдорфа-Безиковича. Канторівский пил, крива Пеано, сніжинка фон Коха, килим Серпінського. Поняття типових фракталів та порівняння їх між собою. Загальна теорія хаосу.
  
  реферат [18,8 K], добавлен 06.04.2011
  

• Основи теорії ймовірностей

  Предмет теорії ймовірностей. Означення та властивості імовірності та частості. Поняття та принципи комбінаторики. Формули повної імовірності та Байєса. Схема та формула Бернуллі. Проста течія подій. Послідовність випробувань з різними ймовірностями.
  
  курс лекций [328,9 K], добавлен 18.02.2012
  

• Формування математичних понять в процесі викладання математики в основній школі

  Теоретичні основи формування математичних понять. Поняття, як логіко-гносеологічна категорія. Об’єкт, поняття. Схожість їх і різниця. Суттєві і несуттєві властивості понять. Прийоми їх виявлення. Зміст і об’єм поняття, зв'язок між ними. Види понять.
  
  дипломная работа [328,4 K], добавлен 21.07.2008
  

• Математичні методи управління інвестиціями

  Сучасна теорія портфельних інвестицій. Теорія портфеля цінних паперів У. Шарпа. Методи вирішення задач оптимізації портфеля цінних паперів з нерегульованою та регульованою(облігації) дохідністю. Класична модель Марковіца задачі портфельної оптимізації.
  
  дипломная работа [804,9 K], добавлен 20.06.2012
  

• Однофакторний і двофакторний дисперсійний аналіз

  Кількісний вимір можливості появи випадкової події. Відомості про дисперсійний аналіз. Однофакторний та двофакторний дисперсійний аналіз. Спостереження як найважливіша ланка експерименту. Теорія ймовірності як наука про закономірності масових подій.
  
  реферат [2,8 M], добавлен 26.10.2008
  

• Виробнича функція Кобба-Дугласа

  Розгляд виробничої функції, яка відображає зв'язок між зміною обсягів двох задіяних у процесі виробництва типів ресурсів та результатами цієї взаємодії. Дослідження виробничої функції для обробної промисловості США. Похідні формули праці та капіталу.
  
  презентация [4,1 M], добавлен 12.01.2022
  

• Теорія ймовірностей

  Визначення ймовірності виходу приладу з ладу. Розв’язок задачі з використанням інтегральної формули Бернуллі та формулу Пуассона. Визначення математичного сподівання, середньоквадратичного відхилення, дисперсії, функції розподілу випадкової величини.
  
  контрольная работа [84,2 K], добавлен 23.09.2014
  

• Знаходження оберненої матриці за формулою

  Теорія обернених матриць та їх знаходження за формулою. Оберненні матриці на основі яких складається написання програми обчислення оберненої матриці до заданої. Побудова матриць та їх характеристика. Приклади проведення розрахунків при обчисленні матриць.
  
  курсовая работа [96,8 K], добавлен 06.12.2008
  

• Розв’язування задач за допомогою графів

  Теорія графів та її використання у різних галузях. У фізиці: для побудови схем для розв’язання задач. У біології: для розв’язання задач з генетики. Спрощення розв’язання задач з електротехніки за допомогою графів. Математичні розваги і головоломки.
  
  научная работа [2,1 M], добавлен 10.05.2009
  

• Теорія збурень лінійних двовимірних систем

  Задача продавлення шкідливих збурень. Збурювальні задачі, що видвинуті для розгляду радіотехнікою, в деякому розуміння протилежні задачам класичної теорії збурень. Дійснi нелінійнi диференціальнi рівняння. Завдання радіотехніки, задачі генерації збурень.
  
  дипломная работа [890,8 K], добавлен 17.06.2008
  

• Застосування частинних похідних

  Побудова дотичної площини та нормалі до поверхні. Геометричний зміст диференціала функції двох змінних. Поняття скалярного поля, зв'язок між градієнтом і похідною в даній точці. Формула Тейлора для функції двох змінних та її локальні екстремуми.
  
  реферат [713,9 K], добавлен 14.05.2011
  

• Елементи інформаційних технологій в математичному програмуванні

  Розв'язання завдання графічним способом. Зображення розв'язку системи нерівностей, визначення досягнення максимуму та мінімуму функції. Розв'язання транспортної задачі методом потенціалів та симплекс-методом, формування оціночної матриці з елементів.
  
  задача [134,9 K], добавлен 31.05.2010
  

• Елементи комбінаторики. Початки теорії ймовірностей

  Основні принципи і елементи комбінаторики. Теорія ймовірностей: закономірності масових випадкових подій, дослідження і узагальнення статистичних даних, здійснення математичного і статистичного аналізу. Постановка і вирішення задач економічного характеру.
  
  курс лекций [5,5 M], добавлен 21.11.2010
  

• Чисельні методи розв’язання нелінійних рівнянь на ПК

  Методика визначення всіх коренів нелінійного рівняння різними способами: відрізка пополам, хорд, дотичних та ітерацій. Особливості та принципи застосування комп’ютерних технологій в даному процесі. Аналіз отаманих результатів і їх інтерпретація.
  
  лабораторная работа [263,9 K], добавлен 15.12.2015
  

• Історія математики Греції

  Визначення поняття математики через призму іонійського раціоналізму. Основні властивості правильних багатокутників і правильних багатогранників. Загальна характеристика внеску в розвиток головних засад сучасної математики видатних давньогрецьких вчених.
  
  реферат [91,5 K], добавлен 15.02.2010
  

• Математична логіка та теорія алгоритмів

  Ознайомлення із символікою та апаратом логіки висловлень. Сутність алгебри Жегалкіна. Дослідження питань несуперечності, повноти та незалежності логічних та спеціальних аксіом числення предикатів. Визначення поняття та характерних рис алгоритмів.
  
  курс лекций [538,2 K], добавлен 02.04.2011
  

• Основні поняття теорії ймовірностей

  Вивчення закономірностей, властивих випадковим явищам. Комплекс заданих умов. Експериментальна перевірка випадкових явищ в однотипних умовах та необмежену кількість разів. Алгебра випадкових подій. Сутність, частота і ймовірність випадкової події.
  
  реферат [151,8 K], добавлен 16.02.2011
  

• Елементи сферичної геометрії

  Характеристика сферичної геометрії як галузі математики. Зв'язок між величинами сторін та кутів прямокутного сферичного трикутника. Використання теорем косинусів та синусів. Значення стереографічной сітки Вульфа. Розвиток поняття про геометричний простір.
  
  курсовая работа [1,2 M], добавлен 29.11.2014
  

• главная
• рубрики
• по алфавиту
• вернуться в начало страницы
• вернуться к подобным работам