Ученые — Самообразованию

Поиск
Перейти к содержимому
  • История науки
  • Популярно
  • Математика
  • Матфизика
  • Физика
  • Метафизика
  • Конференции

Архив рубрики: Программирование и алгоритмы

Математическая логика, Программирование и алгоритмы

Лямбда-исчисление, или вычислительная теория доказательств

11.09.2015 Basharov
Лямбда-исчисление, или вычислительная теория доказательств
Спецкурс МИАН, 2015 Лектор: Кузнецов Степан Львович
http://www.mathnet.ru/conf664
1. λ-термы. Бестиповое λ-исчисление. α-конверсия и β-редукция.


Читать далее Лямбда-исчисление, или вычислительная теория доказательств →

Программирование и алгоритмы

Программирование в среде MatLab. Начало

21.06.2014 Basharov


Учебники
Говорухин В, Цибулин Б. Компьютер в математическом исследовании
Кетков Ю., Кетков А., Шульц М. MATLAB 7. Программирование, численные методы

programming in Matlab

Разделы наук

  • Математика
  • Разделы (в разработке)
    Теория множеств
    математическая логика
    Арифметика
    Алгебра
    Анализ
    Геометрия
    Топология
    Теория меры
    Стохастика
    Комбинаторика
  • Физика
  • Разделы (в разработке)
    Механика
    Теория поля
    Квантовая механика
    Квантовая физика
    Физика твердого тела
  • Информатика
  • Разделы (в разработке)
    Классическая теория информации
    Квантовая теория информации
    Программирование и алгоритмы
    ПытливымШкольникамСтудентам
    Старшеклассникам
    Гуманитарные науки
    Младшекурсникам
  • Метафизика
  • Разделы (в разработке)
    Из истории наук
    Теории познания
ОТ ИЗДАТЕЛЯ

Указания

  • Методические указания школьникам и студентам
  • Структура сайта

Учебные материалы по физ-мат наукам и их приложениям

Структура сайта
MIPh
Дорогу осилит идущий...
Методические указания Way

Свежие записи

  • Линейная алгебра
  • Высшая алгебра
  • Дискретный анализ и теория вероятностей
  • Лямбда-исчисление, или вычислительная теория доказательств
  • Теория представлений и физика
  • Лекции по квантовой теории поля и физике элементарных частиц
  • Сосинский А.Б. Узлы и косы

Рубрики по алфавиту

  • Гуманитарные науки (3)
  • История науки (1)
  • Конференции (3)
  • Математика (36)
    • Алгебра (6)
    • Анализ (2)
    • Арифметика (11)
    • Геометрия (8)
      • Алгебраическая геометрия (2)
      • Дифференциальная геометрия (4)
    • Комбинаторика (2)
    • Логика (1)
    • Математическая логика (4)
    • Стохастика (5)
      • Случайные процессы (2)
    • Теория меры (2)
    • Теория множеств (1)
    • Топология (2)
  • Матфизика (2)
  • Новости (14)
  • Популярно (5)
  • Программирование и алгоритмы (2)
  • Физика (9)
    • Квантовая механика (4)
    • Квантовая теория поля (2)
    • Теория поля (1)
    • Физика атомного ядра (1)
    • Физика твердого тела (1)

Архивы

Сайт работает на WordPress