Следующая базовая вычислительная модель — лямбда-исчисление, предложенное Алонзо Чёрчем. Фактически, это функциональная альтернатива машинам Тьюринга. Заходите на мой ТГ-канал:
— на нём много всего интересного: анонсы видео, истории и всякий сторителлинг, объявления о мероприятиях и всякое такое разное. Курс «Основы искусственного интеллекта» на Udemy:
