80 / 73 / 10
Регистрация: 12.08.2019
Сообщений: 78
1

Эта-преобразование

18.07.2020, 00:12. Показов 506. Ответов 2

Author24 — интернет-сервис помощи студентам
Решил я значит написать полноценное лямбда-исчисление на Хаскелл, которое работает с письменной записью лямбда-функции. В качестве примеров взял лямбда-числа и начал применять к ним разные математические операции. В интернете прочитал, что возведение в степень можно записать как
Haskell
1
2
two = \ s t -> s (s t)
pow = \m n s t -> n m s t
, но тут сразу напрашивается упрощение через эта-преобразование
Haskell
1
pow2 = \m n -> n m
. Решил проверить на
Haskell
1
pow two two
, но первая версия возведения в степень работает нормально и вычисление лямбда-числа останавливается на правильном значении, а вторая даёт расхождение, я так и не понял почему.
Вопрос: может такое быть, что это у меня ошибка в правиле подстановки или
Haskell
1
pow2 two two
и
Haskell
1
pow two two
это разные вещи с точки зрения простой аппликации термов?

P.S. Вот фрагмент кода, который отвечает за упрощение термов. Тут я использую не совсем привычную нотацию, а вот эту, чтобы не заморачиваться с переименовыванием атомарных букв при бета-редукции.
Кликните здесь для просмотра всего текста
Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
data Lambda = Lit Int | Lambda { args :: [()] , body :: [Lambda]} deriving Eq
 
substitute :: [Lambda] -> [Lambda]
substitute (Lit ch:rest) = Lit ch : map (\case
                                     Lambda x body' -> Lambda x (substitute  body')
                                     Lit x    ->  Lit x) rest   --Подстановка внутри
substitute (Lambda [] ids : rest) = substitute $ ids ++ rest                         --Левая ассоциативность
substitute (Lambda (_:xs) body' : f : fs) = Lambda xs (swap (length xs) f body') : fs--Аппликация
substitute [Lambda (x:xs) body'] = [Lambda (x:xs) (substitute body')]                --Подстановка внутри, надо хитрее сделать
substitute rest = rest
 
swap :: Int -> Lambda -> [Lambda] -> [Lambda]
swap x f = map (\case
           Lit num ->
             if num == x
               then f
               else Lit num
           Lambda arg bdy -> Lambda arg (swap (length arg + x) f bdy))
1
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
18.07.2020, 00:12
Ответы с готовыми решениями:

Символическое дифференцирование-ввод формулы в связный список, преобразование в ПОЛИЗ, обратное преобразование
Прошу помогите мне. Символическое дифференцирование-ввод формулы в связный список, преобразование в...

Преобразование звукового сигнала в спектр (Фурье-преобразование)
Доброго времени суток! Мне необходимо преобразовать звуковой файл в спектр, а как и с чего начать...

Преобразование изображения по гистограмме. Гиперболическое преобразование гистограммы
Добрый день уважаемые пользователи. При изучении путей обработки и фильтрации изображений в Матлабе...

Нормальное преобразование/ортогональное преобразование
Добрый день. Немного запутался в обозначениях в процессе изучения алгебры и хотел бы задать...

2
212 / 171 / 28
Регистрация: 02.07.2020
Сообщений: 121
18.07.2020, 01:45 2
Какого рода расхождение?

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
Prelude> suc x f = x f . f
Prelude> zero = const id
Prelude> one = suc zero
Prelude> two = suc one
Prelude> three = suc two
Prelude> pow x y = y x
Prelude>
Prelude> pow three two (+1) 0
9
Prelude> pow two zero (+1) 0
1
Prelude> pow (suc three) (suc three) (+1) 0
256
Добавлено через 19 минут
На всякий случай все то же самое с лямбдами и без комбинаторов
Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
Prelude> suc = \n f x -> n f (f x)
Prelude> zero = \f x -> x
Prelude> one = suc zero
Prelude> two = suc one
Prelude> three = suc two
Prelude> pow = \x y -> y x
Prelude>
Prelude> pow three two (+1) 0
9
Prelude> pow two zero (+1) 0
1
Prelude> pow (suc three) (suc three) (+1) 0
256
0
80 / 73 / 10
Регистрация: 12.08.2019
Сообщений: 78
21.07.2020, 18:00  [ТС] 3
Цитата Сообщение от extrn Посмотреть сообщение
Какого рода расхождение?
Вся загвоздка в том, что я запускаю не хаскелльные лямбда-функции, а мои собственные. Нотация почти такая же как в Хаскелле, только точка вместо стрелочки.
Программа работает не с одной лямбда-функции, а с их списком.

Собственно само расхождение:
Кликните здесь для просмотра всего текста
Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
#pow2 #two #two
[(\ba.a b ),((\cba.b ((c )(b )(a )) )(\ba.b a )),((\cba.b ((c )(b )(a )) )(\ba.b a ))]
 
[\a.a ((\dcb.c ((d )(c )(b )) )(\cb.c b )) ,((\cba.b ((c )(b )(a )) )(\ba.b a ))]
 
[(((\cba.b ((c )(b )(a )) )(\ba.b a ))((\cba.b ((c )(b )(a )) )(\ba.b a )))]
 
[\ba.b (((\dc.d c ))(b )(a )) ,((\cba.b ((c )(b )(a )) )(\ba.b a ))]
 
[\a.((\dcb.c ((d )(c )(b )) )(\cb.c b )) (((\cb.c b ))(((\dcb.c ((d )(c )(b )) )(\cb.c b )))(a )) ]
 
[\a.\cb.c (((\ed.e d ))(c )(b ))  (((\cb.c b ))(((\dcb.c ((d )(c )(b )) )(\cb.c b )))(a )) ]
 
[\a.\b.(((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )) (((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))  ]
 
[\a.\b.\c.(((\fed.e ((f )(e )(d )) )(\ed.e d ))) c  (b ) (((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))  ]
 
[\a.\b.((((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )) (((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))  ]
 
[\a.\b.\dc.d (((\fe.f e ))(d )(c ))  (b ) (((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))  ]
 
[\a.\b.\c.(c ) (((\ed.e d ))((c ))(c ))  (((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))  ]
 
[\a.\b.(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))(((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))  ]
 
[\a.\b.\c.((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(c ))) c  (b ) (((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.(((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((b ))))(b )) (((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.\c.(((\fed.e ((f )(e )(d )) )(\ed.e d ))) c  ((b )) (b ) (((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.((((\edc.d ((e )(d )(c )) )(\dc.d c )))((b ))) (b ) (((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.\dc.d (((\fe.f e ))(d )(c ))  ((b )) (b ) (((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.\c.((c )) (((\ed.e d ))(((c )))(c ))  (b ) (((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.((((b )))(((\dc.d c ))((((b ))))((b )))) (((\dc.d c ))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.b (\c.((((c )))) c ((b ))) (\c.(((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(c )))(c )))) c ((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.b ((((((((b ))))))((b )))) (((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))  ]
 
[\a.\b.b (b (b )) (\c.((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(c )))(c )))))) c (((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.b (b (b )) ((((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.b (b (b )) (\c.(((\fed.e ((f )(e )(d )) )(\ed.e d ))) c (((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.b (b (b )) (((((\edc.d ((e )(d )(c )) )(\dc.d c )))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.b (b (b )) (\dc.d (((\fe.f e ))(d )(c )) (((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))))))(((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.b (b (b )) (\c.(((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(c )))(c )))))))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(c )))(c )))))))) (((\ed.e d ))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(c )))(c )))))))((((((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(c )))(c )))))))))(c )) (((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
 
[\a.\b.b (b (b )) (((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))))))))))(((\dc.d c ))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))))))))((((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b )))))))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(b ))))  ]
...
...
...

Как работает аналог возведения в степень:
Кликните здесь для просмотра всего текста
Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
#pow #two #two
[(\dcba.c d b a ),((\cba.b ((c )(b )(a )) )(\ba.b a )),((\cba.b ((c )(b )(a )) )(\ba.b a ))]
 
[\cba.c ((\fed.e ((f )(e )(d )) )(\ed.e d )) b a ,((\cba.b ((c )(b )(a )) )(\ba.b a ))]
 
[\ba.((\edc.d ((e )(d )(c )) )(\dc.d c )) ((\edc.d ((e )(d )(c )) )(\dc.d c )) b a ]
 
[\ba.\dc.d (((\fe.f e ))(d )(c ))  ((\edc.d ((e )(d )(c )) )(\dc.d c )) b a ]
 
[\ba.\c.((\fed.e ((f )(e )(d )) )(\ed.e d )) (((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(c ))  b a ]
 
[\ba.(((\edc.d ((e )(d )(c )) )(\dc.d c ))(((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b ))) a ]
 
[\ba.\dc.d (((\fe.f e ))(d )(c ))  (((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )) a ]
 
[\ba.\c.(((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(a )) (((\ed.e d ))((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(a )))(c ))  a ]
 
[\ba.((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b ))(((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(a ))) ]
 
[\ba.\c.(((\fed.e ((f )(e )(d )) )(\ed.e d ))) c  (b ) (((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(a )) ]
 
[\ba.((((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )) (((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(a )) ]
 
[\ba.\dc.d (((\fe.f e ))(d )(c ))  (b ) (((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(a )) ]
 
[\ba.\c.(a ) (((\ed.e d ))((a ))(c ))  (((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(a )) ]
 
[\ba.((b )(((\dc.d c ))((b ))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(a ))))) ]
 
[\ba.b (\c.((a )) c ((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(a )))) ]
 
[\ba.b ((((b ))((((\dc.d c ))((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(a ))))) ]
 
[\ba.b (b (\c.((((\ed.e d ))(((\fed.e ((f )(e )(d )) )(\ed.e d )))(a ))) c (a ))) ]
 
[\ba.b (b ((((((\dc.d c ))(((\edc.d ((e )(d )(c )) )(\dc.d c )))(b )))(a )))) ]
 
[\ba.b (b (\c.(((\fed.e ((f )(e )(d )) )(\ed.e d ))) c (b )(a ))) ]
 
[\ba.b (b (((((\edc.d ((e )(d )(c )) )(\dc.d c )))(b ))(a ))) ]
 
[\ba.b (b (\dc.d (((\fe.f e ))(d )(c )) (b )(a ))) ]
 
[\ba.b (b (\c.(a ) (((\ed.e d ))((a ))(c )) (a ))) ]
 
[\ba.b (b (((b )(((\dc.d c ))((b ))((a )))))) ]
 
[\ba.b (b (b (\c.((a )) c ((a ))))) ]
 
[\ba.b (b (b ((((b ))((a )))))) ]
 
[\ba.b (b (b (b (a )))) ]
 
[\ba.b (b (b (b (a )))) ]
 
[\ba.b (b (b (b (a )))) ]
 
[\ba.b (b (b (b (a )))) ]
 
[\ba.b (b (b (b (a )))) ]
0
21.07.2020, 18:00
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
21.07.2020, 18:00
Помогаю со студенческими работами здесь

Быстрое преобразование Фурье и ошибка "Неявное преобразование типа"
А подскажите еще по одной прблемке: Есть программа реализующая БПФ (ну должна по крайней мере это...

Ох уж эта винда
Добрый вечер дорогие пользователи. Хочу всех в заранее поздравить с наступающим новым годом и...

Эта переменная не определена
Нужна помощь, в MathCad буквально день Помогите разобраться Ввожу данные, потом уравнение Не...

работает ли эта функция ?
так же с телефона пишу, хочу узнать есть ли ошибки и будет ли работать функция эта?function...

Эта проклятая Рапида
Да она просто извергается надо мной - не дает скачать, а пускает пыль в глаза, прося подождать...

Эта переменная не определена
Добрый день! Вот такая проблема, необходимо из этих 5 уравнений найти Ca,Cb,Cp1,tхл,uхл. Файл и...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
3
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru