придумать и решить примеры для следующих тематических областей:
Нетипичный язык NBL :
Формулировка типового терма t.
Построение абстрактного синтаксического дерева.
Проверить, что терм t принадлежит языку терминов NBL.
Определение констант терма t.
Определение размера терма t.
Оценка терма t.
Типичный язык NBL;
Формулировка типового терма t.
Проверка того, что терма t тпизирован правильно.
Оценка терма t.
Нетипичные λ-исчесления;
Рекурсия в нетипизированном λ-исчислении. 1 пример рекурсивной функции, вычисляемой сумматором с фиксированной точкой в нетипизированном λ-исчислении.
Производные формы термов типизированного λ-исчисления;
Проверить тип термина t.
Оцените термина t.
Перепишите термин t на основной язык λ-исчисления.
Типизированное λ-исчисление с типом функционала, произведения и суммы;
Формулировка термина t с использованием по крайней мере бинарного типа продукта.
Проверка того, что термин t набран правильно.
Оценка термина t.
Структуры данных в типизированном λ-исчислении;
Определение и примерное решение задачи по записи структуры данных.
Определение и примерное решение задачи о структуре данных вариантов.
Определение и примерное решение задачи о структуре данных вариантов с использованием перечислимого типа.
В прикрепленном файле пример решения задач
Требуется выполнить контрольную работу по электродинамике за 1'30. Задания будут предоставлены на платформе и включают 2-3 задачи, которые нужно расписать подробно. Примерные задачи будут направлены в личные сообщения.
Требуется разработать код на языке программирования С++. Задачи могут включать контрольные вопросы и тесты для оценки навыков. Ожидается качественное решение с комментариями.
Необходимо выполнить контрольную работу по теории вероятности и дискретной математике, следуя указаниям в файлах 'вариант 1', 'вариант 21', 'дискретная математика 21' и 'дискретная математика 31'. Все файлы должны быть оформлены на отдельных листах и написаны от руки. Укажите номера вариантов вместо n.
Необхідно скласти VBA-проект для розрахунку вартості партії товарів St 3 з урахуванням ставки ПДВ та надбавки на транспортні витрати. Якщо кількість товару перевищує 10 000 одиниць, транспортні витрати зменшуються вдвічі. В проекті мають бути враховані ціна одиниці товару та кількість товару в партії.
Требуется решить 4 примера по дискретной математике. Задачи предназначены для контроля знаний и тестирования навыков в данной области. Ожидается качественное и корректное решение.
Требуется помощь на дистанционном экзамене по Компьютерной архитектуре и операционным системам. Необходимо ответить на 20-25 открытых вопросов на английском языке в течение 2-2.5 часов. Знание IT-терминологии и средний уровень английского обязательны. Примеры вопросов с ответами доступны для ознакомления.
Требуется решить упражнения по английскому языку из учебника. Необходимо выполнить контрольные задания и тесты на страницах 47-48, 12-13, 29-30. Подробное выполнение всех указанных упражнений.
Ищется специалист для решения контрольных задач и тестов по математике. Необходимо предоставить качественные решения примеров для студентов. Ожидается опыт в математике и способность объяснять решения.
Необхідно розписати розв'язок до кожної роботи з логіки висловлювань та рівносильних формул. Для кожної роботи потрібно подати рішення на листку A4 або в клітинку. Важливо дотримуватися чіткої структури та оформлення.
Ищем специалиста для проверки заданий образовательного курса по программированию на Python с 8 ноября по 31 января. Необходимо уверенное знание Python, умение строить алгоритмы и давать обратную связь. Возможна дополнительная оплата за поддержку учеников в чате. Примеры заданий доступны для ознакомления.
