Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ)

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.

1977, Кейслер Г, Теория моделей

Страница: 1

Сообщений 1 страница 2 из 2

1

  • Автор: Лис [М]
  • Участник
  • Лис [М]
  • Зарегистрирован: 2023-03-10
  • Приглашений: 0
  • Сообщений: 1119
  • Уважение: [+0/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    6 дней 1 час
  • Последний визит:
    2024-11-27 23:25:17

Структура науки "математическая логика" состоит из трёх-четырёх частей:
- теория моделей,
- теория вычислений (алгоритмов),
    теория сложности вычислений,
- теория доказательств,
- аксиоматическая теория множеств,

Первые две части это как в фразе "алгоритмы + структура данных = программы" (Вирт).

0

2

  • Автор: NuShaman
  • Автор "Солуни"
  • NuShaman
  • Откуда: Екатеринбург
  • Зарегистрирован: 2020-10-06
  • Приглашений: 0
  • Сообщений: 690
  • Уважение: [+0/-0]
  • Позитив: [+1/-0]
  • Пол: Мужской
  • Возраст: 44 [1980-08-03]
  • Провел на форуме:
    9 дней 7 часов
  • Последний визит:
    2025-01-31 06:10:13

Полистал я книгу Кейслер Чэн "Теория моделей" (Москва "Мир" 1977).
Что-то про алгебру.
Про программирование ничего нет.

Книга будет полезна математикам, похожим на Александра Гротендика.

0

Страница: 1