Редактирование: Математическая Логика, 05 семинар (от 21 ноября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 106: | Строка 106: | ||
Родственник(X, Y) ← Предок(X, Y) | | Родственник(X, Y) ← Предок(X, Y) | | ||
Предок(Y, X) | | Предок(Y, X) | | ||
- | + | Предок(Z, X), Предок(Z, Y), X ≠ Y; | |
Далее — программные вещи. | Далее — программные вещи. | ||
Строка 115: | Строка 115: | ||
Составные типы данных: | Составные типы данных: | ||
- | * В Си, Алголе, … основным составным типом является массив, | + | * В Си, Алголе, … основным составным типом является массив, отличитильным признаком которого является произвольная адресация |
- | * В Прологе, Лиспе основным составным типом является список, | + | * В Прологе, Лиспе основным составным типом является список, отличитильным признаком которого является последовательная адресация |
Список — более естественный тип данных с точки зрения рекурсии. | Список — более естественный тип данных с точки зрения рекурсии. |