Семиотика и информатика, Випуски 18 – 22

Передня обкладинка
Всес. ин-т науч. и техн. информации, 1982

З цієї книги

Відгуки відвідувачів - Написати рецензію

Не знайдено жодних рецензій.

Зміст

Частина 1
3
Частина 2
14
Частина 3
43
Авторські права

37 інших розділів не відображаються

Інші видання - Показати все

Загальні терміни та фрази

абстрактных аксиомы выбора алгоритмов Алиса антецедентом базис будем будет вида ВМ возможно вопрос всех второго выбора вывода высказывания вычисления вычислимых функций глоссы говорить гомоморфизм данных Дедекинд Доказательство других единиц есть жестового языка задает задачи здесь значения изоморфизм имеет истинности исчисления каждого Кантора класс клубной системы конечно коннекторов которых лексемы лишь логики логических любой Машины Тьюринга метапеременных методов множество модели модуса может можно морфизм назовем называть например некоторых ности ных обозначает образом общей объектов однако одно операции ОПИСАНИЕ определения определим отношение отображение Очевидно параметров пары первого переменных подмножество понятия последовательности правила предикатов предложения презумпции применения пример программ произвольный Пусть работы различия рассматривать результат рекурсивных самым свой свойства себя семантики Семиотика сети символ синтаксических систем Следствие следует слова случае смысле содержит соответствует ср стандартных моделей степени структуры существует схем тем Теорема теории теории вычислимости теории множеств терм типа тогда универсум употребление условие утверждения Ф-непротиворечива форм формально формул ции часть число элементов является

Бібліографічна інформація