Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.
Регистрация
Вход
Электронный адрес:
*
Пароль:
*
Забыли пароль?
Запомнить меня
Авторизоваться
Зайти как гость
Твой путь к знаниям!
Учеба
Академии
Учителя
Рейтинг
Вопросы
Магазин
Сведения об образовательной организации
Новости
Помощь
О проекте
Курсы
Школа
Мини-МБА
Профессиональная переподготовка
Повышение квалификации
Сертификации
Инспектор
Владимир Ефименко
О курсе
Информация
Глоссарий
Дипломы
Вопросы и ответы
Студенты
Рейтинг выпускников
Мнения
Литература
Учебные программы
План занятий
Экзамен экстерном
Введение
Лекция 1
Тест 1
Лекция 2
Тест 2
Лекция 3
Тест 3
Лекция 4
Тест 4
Лекция 5
Тест 5
Лекция 6
Тест 6
Лекция 7
Тест 7
Лекция 8
Тест 8
Лекция 9
Тест 9
Лекция 10
Тест 10
Лекция 11
Тест 11
Лекция 12
Тест 12
Лекция 13
Тест 13
Лекция 14
Тест 14
Экзамен
Вы можете
поддержать
этот курс.
НИУ ВШЭ (Высшая Школа Бизнес-Информатики)
:
Языки и исчисления
: Глоссарий
[+]
Опубликован:
24.04.2007
| Доступ:
платный
| Студентов:
2
/
0
| Оценка:
4.60
/
4.30
| Длительность:
25:56:00
Тема:
Алгоритмы и дискретные структуры
Специальности:
Программист
Теги:
beta
,
MP@ML
,
алгебра
,
анализ
,
вычисления
,
графика
,
дедукция
,
законы
,
игры
,
изоморфизм
,
импликация
,
истинность формул
,
исчисление предикатов
,
книги
,
логика
,
подформула
,
поиск
,
полугруппа
,
предикатный символ
,
сложность
,
тавтология
,
теория
,
элементы
Записаться
|
Вам нравится?
Нравится
11
студентам
|
Поделиться
|
Поддержать курс
|
Скачать электронную книгу
Все
|
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
А
Б
В
Г
Д
Е
Ё
Ж
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
computational science
Посмотреть в Википедии
Лекция:
0 стр. 1
Предложите свое определение
cut
Посмотреть в Википедии
Лекция:
3 стр. 2
Предложите свое определение
false
Посмотреть в Википедии
Лекция:
1 стр. 1
Предложите свое определение
generalization
Посмотреть в Википедии
Лекция:
9 стр. 3
Предложите свое определение
MP@ML
Лекция:
3 стр. 1
,
3 стр. 2
,
3 стр. 3
,
9 стр. 4
,
10 стр. 1
Предложите свое определение
problem
Посмотреть в Википедии
Лекция:
14 стр. 7
Предложите свое определение
successor
Посмотреть в Википедии
Лекция:
5 стр. 4
Предложите свое определение
true
Посмотреть в Википедии
Лекция:
1 стр. 1
Предложите свое определение
ver
Посмотреть в Википедии
Лекция:
0 стр. 1
Предложите свое определение
автор
Посмотреть в Википедии
Лекция:
4 стр. 2
,
6 стр. 1
Предложите свое определение
адрес
Лекция:
0 стр. 1
Предложите свое определение
аксиома
Посмотреть в Википедии
Лекция:
3 стр. 1
,
3 стр. 2
,
3 стр. 3
,
4 стр. 2
,
8 стр. 3
,
9 стр. 2
,
10 стр. 4
,
12 стр. 1
,
13 стр. 4
,
14 стр. 8
Предложите свое определение
Аксиоматизация
Лекция:
12 стр. 6
,
13 стр. 5
,
13 стр. 6
Предложите свое определение
алгебраические
Лекция:
8 стр. 4
Предложите свое определение
алгоритм
Посмотреть в Википедии
Лекция:
1 стр. 2
,
2 стр. 5
,
4 стр. 1
,
4 стр. 5
,
9 стр. 1
,
11 стр. 3
Предложите свое определение
анализ
Посмотреть в Википедии
Лекция:
4 стр. 2
,
10 стр. 6
,
11 стр. 3
,
14 стр. 4
,
14 стр. 7
,
14 стр. 8
Предложите свое определение
антисимметричность
Посмотреть в Википедии
Лекция:
5 стр. 2
,
9 стр. 1
,
12 стр. 5
Предложите свое определение
аргумент
Посмотреть в Википедии
Лекция:
2 стр. 3
,
8 стр. 1
Предложите свое определение
арность
Посмотреть в Википедии
Лекция:
5 стр. 1
Предложите свое определение
ассоциативность
Посмотреть в Википедии
Лекция:
1 стр. 2
,
2 стр. 5
Предложите свое определение
1
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
следующая ›
|
в конец »
Вопросы и ответы
вопросов: 0