ПО, ЭВМ и АСУ из Таможенного Союза

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

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

Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » доказательное программирование » 1977, Кейслер Г, Теория моделей

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

Страница: 1

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

1

  • Автор: Лис
  • Участник
  • Лис
  • Зарегистрирован: 2023-03-10
  • Приглашений: 0
  • Сообщений: 649
  • Уважение: [+0/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    3 дня 16 часов
  • Последний визит:
    2024-04-12 10:52:41

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

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

0

2

  • Автор: NuShaman
  • Автор "Солуни"
  • NuShaman
  • Откуда: Екатеринбург
  • Зарегистрирован: 2020-10-06
  • Приглашений: 0
  • Сообщений: 654
  • Уважение: [+0/-0]
  • Позитив: [+1/-0]
  • Пол: Мужской
  • Возраст: 43 [1980-08-03]
  • Провел на форуме:
    8 дней 21 час
  • Последний визит:
    Вчера 07:32:04

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

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

0

Страница: 1

Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » доказательное программирование » 1977, Кейслер Г, Теория моделей