Демо (html) Математическая логика и теория алгоритмов
В тесте 1021.55.01.1 самое большое колличество вопросов - 2427.
Камызякское , Фатежское , Хайфский , Няндомское , Каргопольское , Калининградский , Октябрьское ПДО Вельск , Белгород-22 , Зеленогорское , Родниковское , Златоустовский
Базовый код: ls_1000.01.01.1
Полный код: 1000.01.01;LS.01;1
Индекс: LS00682
Математическая логика и теория алгоритмов
25.02.2011
- Математическая логика
- Алгебраическая логика
- Алгоритм
- Теоретическое программирование
- Теоретико-множественные основы математической логики
- Множество
- Логико-математические языки
- Теоретико-множественные операции
- Исчисление логики высказываний
- Логика высказываний
- Синтаксическая система
- Алгебра высказываний
- Исчисление предикатов
- Алгебра предикатов
- Область действия кванторов
- Дерево вывода
- Модальные и нечеткая логики
- Язык модальной логики
- Темпоральная логика
- Теория нечетких множеств
- Математическая логика
- Алгебраическая логика
- Алгоритм
- Теоретическое программирование
- Теоретико-множественные основы математической логики
- Множество
- Логико-математические языки
- Теоретико-множественные операции
- Исчисление логики высказываний
- Логика высказываний
- Синтаксическая система
- Алгебра высказываний
- Исчисление предикатов
- Алгебра предикатов
- Область действия кванторов
- Дерево вывода
- Модальные и нечеткая логики
- Язык модальной логики
- Темпоральная логика
- Теория нечетких множеств