Изменения

Перейти к: навигация, поиск

Участник:Shersh/Тикеты к 5ому терму

7 байт добавлено, 23:24, 15 декабря 2015
м
Вычислительные формализмы
# Добавить категории
<li> [[Лямбда-исчисление]]</li>
<li> '''!!!взяли''' [[Примитивно рекурсивные функции]] (6) </li>
# названия функций надо в \mathrm
# Помёрджить с конспектом математической логики [[Рекурсивные функции, представимость в формальной арифметике]]

Навигация