sga-help.ru

Демо (html) Математическая логика и теория алгоритмов

В тесте 1021.55.01.1 самое большое колличество вопросов - 2427.

Камызякское , Фатежское , Хайфский , Няндомское , Каргопольское , Калининградский , Октябрьское ПДО Вельск , Белгород-22 , Зеленогорское , Родниковское , Златоустовский



Базовый код: ls_1000.01.01.1

Полный код: 1000.01.01;LS.01;1

Индекс: LS00682

Математическая логика и теория алгоритмов

25.02.2011

  • Математическая логика
    • Алгебраическая логика
    • Алгоритм
    • Теоретическое программирование
  • Теоретико-множественные основы математической логики
    • Множество
    • Логико-математические языки
    • Теоретико-множественные операции
  • Исчисление логики высказываний
    • Логика высказываний
    • Синтаксическая система
    • Алгебра высказываний
  • Исчисление предикатов
    • Алгебра предикатов
    • Область действия кванторов
    • Дерево вывода
  • Модальные и нечеткая логики
    • Язык модальной логики
    • Темпоральная логика
    • Теория нечетких множеств

  • Математическая логика
    • Алгебраическая логика
    • Алгоритм
    • Теоретическое программирование
  • Теоретико-множественные основы математической логики
    • Множество
    • Логико-математические языки
    • Теоретико-множественные операции
  • Исчисление логики высказываний
    • Логика высказываний
    • Синтаксическая система
    • Алгебра высказываний
  • Исчисление предикатов
    • Алгебра предикатов
    • Область действия кванторов
    • Дерево вывода
  • Модальные и нечеткая логики
    • Язык модальной логики
    • Темпоральная логика
    • Теория нечетких множеств