Сообщество преподавателей информатики ФМШ - haskell
https://wiki.nsunc.com/
2026-04-27T19:39:25+00:00Сообщество преподавателей информатики ФМШ
https://wiki.nsunc.com/
https://wiki.nsunc.com/_media/wiki/dokuwiki.svgtext/html2014-10-15T10:59:35+00:00Anonymous (anonymous@undisclosed.example.com)Числа Фиббоначи
https://wiki.nsunc.com/haskell/fibb?rev=1413370775&do=diff
Числа Фиббоначи
Рассмотрим лобовое решение с бинарной рекурсией:
fib :: Int -> Int
-- fib :: Integer -> Integer избыточно, так как не достигнем
fib 1 = 1
fib 2 = 1
fib n = fib (n-1) + fib (n-2)text/html2010-10-16T10:03:57+00:00Anonymous (anonymous@undisclosed.example.com)
https://wiki.nsunc.com/haskell/primex?rev=1287223437&do=diff
Решение. Разобъем решение на несколько шагов.
1. Введем свой предикат, показывающий, что a делится нацело на b, т.е. a:b (или тоже самое b|a):
de a b = if ((rem a b) == 0) then True else Falsetext/html2013-04-17T11:01:48+00:00Anonymous (anonymous@undisclosed.example.com)
https://wiki.nsunc.com/haskell/sekv?rev=1366196508&do=diff
data LogicFormula = A|B|C|D|E|F|G|H|I|J|K|L|M|N|
LogicFormula :&: LogicFormula |
LogicFormula :+: LogicFormula |
LogicFormula :-> LogicFormula |
Neg LogicFormula deriving (Eq,Read,Show)
data Sekv = [LogicFormula] :- [LogicFormula] deriving (Eq,Read,Show)
aks :: Sekv -> Bool
aks ([x] :- [y]) = if x == y then True else False
ax w = if (aks w) then w else error "w is not an axiom!"
p1 (g :- [x]) (g2 :- [y]) | g==g2 = g :- [x :&: y]
…