Уважаемые посетители! Сегодня на сайте открывается новый раздел Программирование | Язык программирования Haskell, в котором планируется познакомить посетителей с основами этого языка.
Сегодня в этот раздел мы добавили следующие шаги:
Язык программирования Haskell:
Шаг 1. Индуктивные определения операций и предикатов, заданных на множествах слов. Натуральная индукция. Полная индукция
Шаг 2. Индуктивные определения операций и предикатов, заданных на множествах слов. Вполне упорядоченное множество
Шаг 3. Индуктивные определения операций и предикатов, заданных на множествах слов. Рекурсивные определения функций
Шаг 4. Индуктивные определения операций и предикатов, заданных на множествах слов. Принцип трансфинитной индукции
Шаг 5. Индуктивные определения операций и предикатов, заданных на множествах слов. Язык структурированных программ
Шаг 6. Индуктивные определения операций и предикатов, заданных на множествах слов. Синтез программ на языке функционального программирования из индуктивных определений
Шаг 7. Индуктивные определения операций и предикатов, заданных на множествах слов. Базовые операции над словами в алфавите
Шаг 8. Индуктивные определения операций и предикатов, заданных на множествах слов. Примеры некоторых типов упражнений
Шаг 9. Индуктивные определения операций и предикатов, заданных на множествах слов. Примеры некоторых типов упражнений (продолжение)
Шаг 10. Индуктивные определения операций и предикатов, заданных на множествах слов. Примеры некоторых типов упражнений (окончание)
С уважением, администрация сайта.