Compare commits
5 Commits
dc83f6e7d1
...
949cfc5a23
| Author | SHA1 | Date | |
|---|---|---|---|
| 949cfc5a23 | |||
| d867691dd6 | |||
| 231c3491b6 | |||
| 152c726aa3 | |||
| 91d7fb3beb |
19
Солкин Кирилл/README.md
Normal file
19
Солкин Кирилл/README.md
Normal file
@@ -0,0 +1,19 @@
|
||||
# Полезные комбинаторы
|
||||
## Код из книги
|
||||
#let mem x l = exists (fun y -> y = x) l;;
|
||||
mem : ’a -> ’a list -> bool = <fun>
|
||||
#let insert x l =
|
||||
if mem x l then l else x::l;;
|
||||
insert : ’a -> ’a list -> ’a list = <fun>
|
||||
#let union l1 l2 = itlist insert l1 l2;;
|
||||
union : ’a list -> ’a list -> ’a list = <fun>
|
||||
#let setify l = union l [];;
|
||||
setify : ’a list -> ’a list = <fun>
|
||||
#let Union l = itlist union l [];;
|
||||
Union : ’a list list -> ’a list = <fun>
|
||||
#let intersect l1 l2 = filter (fun x -> mem x l2) l1;;
|
||||
intersect : ’a list -> ’a list -> ’a list = <fun>
|
||||
#let subtract l1 l2 = filter (fun x -> not mem x l2) l1;;
|
||||
subtract : ’a list -> ’a list -> ’a list = <fun>
|
||||
#let subset l1 l2 = forall (fun t -> mem t l2) l1;;
|
||||
subset : ’a list -> ’a list -> bool = <fun>
|
||||
83
Солкин Кирилл/polezn_komb.rkt
Normal file
83
Солкин Кирилл/polezn_komb.rkt
Normal file
@@ -0,0 +1,83 @@
|
||||
#lang racket
|
||||
(define (itlist f lst b)
|
||||
(if (null? lst)
|
||||
b
|
||||
(f (car lst) (itlist f (list-tail lst 1) b))))
|
||||
|
||||
(define (sum lst)
|
||||
(itlist + lst 0))
|
||||
|
||||
(define (prod lst)
|
||||
(itlist * lst 1))
|
||||
|
||||
(define (mid p)
|
||||
(lambda (x s)
|
||||
(if (p x)
|
||||
(cons x s)
|
||||
s)))
|
||||
|
||||
(define (filter p lst)
|
||||
(itlist (mid p) lst '()))
|
||||
|
||||
(define (andt l b)
|
||||
(and l b))
|
||||
|
||||
(define (ort l b)
|
||||
(or l b))
|
||||
|
||||
(define (forall p lst)
|
||||
(define a true)
|
||||
(itlist andt (map p lst) a))
|
||||
|
||||
(define (exists p lst)
|
||||
(define a false)
|
||||
(itlist ort (map p lst) a))
|
||||
|
||||
(define (tem l b)
|
||||
(+ b 1))
|
||||
|
||||
(define (length lst)
|
||||
(itlist tem lst 0))
|
||||
|
||||
(define (append l m)
|
||||
(itlist cons l m))
|
||||
|
||||
(define (const f)
|
||||
(lambda (x y) (cons (f x) y)))
|
||||
|
||||
(define (map f l)
|
||||
(define s '())
|
||||
(define con (const f))
|
||||
(itlist con l s))
|
||||
|
||||
(define (mem x lst)
|
||||
(exists (lambda (y) (= y x)) lst))
|
||||
|
||||
(define (insert x lst)
|
||||
(if (mem x lst)
|
||||
lst
|
||||
(cons x lst)))
|
||||
|
||||
(define (union l1 l2)
|
||||
(itlist insert l1 l2))
|
||||
|
||||
(define (setify lst)
|
||||
(union lst '()))
|
||||
|
||||
(define (Union lst)
|
||||
(itlist union lst '()))
|
||||
|
||||
(define (notc l2)
|
||||
(lambda (x) (mem x l2)))
|
||||
|
||||
(define (nonotc l2)
|
||||
(lambda (x) (not (mem x l2))))
|
||||
|
||||
(define (intersect l1 l2)
|
||||
(filter (notc l2) l1))
|
||||
|
||||
(define (subtract l1 l2)
|
||||
(filter (nonotc l2) l1))
|
||||
|
||||
(define (subset l1 l2)
|
||||
(forall (lambda (t) (mem t l2)) l1))
|
||||
14
Тюлюбаев Артём/README.md
Normal file
14
Тюлюбаев Артём/README.md
Normal file
@@ -0,0 +1,14 @@
|
||||
# Ссылки и массивы
|
||||
## Ссылка на видеоразбор
|
||||
https://www.youtube.com/watch?v=LapJ8pgGTk0
|
||||
## Код из книги
|
||||
#let v = make_vect 5 0;;
|
||||
v : int vect = [|0; 0; 0; 0; 0|]
|
||||
#vect_item v 1;;
|
||||
- : int = 0
|
||||
#vect_assign v 1 10;;
|
||||
- : unit = ()
|
||||
#v;;
|
||||
- : int vect = [|0; 10; 0; 0; 0|]
|
||||
#vect_item v 1;;
|
||||
- : int = 10
|
||||
11
Тюлюбаев Артём/base+.lisp
Normal file
11
Тюлюбаев Артём/base+.lisp
Normal file
@@ -0,0 +1,11 @@
|
||||
(setq a (make-array '(4 3)))
|
||||
(dotimes (i 4)
|
||||
(dotimes (j 3)
|
||||
(setf (aref a i j) (list i 'x j '= (* i j)))
|
||||
)
|
||||
)
|
||||
(dotimes (i 4)
|
||||
(dotimes (j 3)
|
||||
(print (aref a i j))
|
||||
)
|
||||
)
|
||||
6
Тюлюбаев Артём/base.lisp
Normal file
6
Тюлюбаев Артём/base.lisp
Normal file
@@ -0,0 +1,6 @@
|
||||
(setf x (make-array '(3)
|
||||
:initial-contents '(0 1 2))
|
||||
)
|
||||
(write x)
|
||||
(setf (aref x 1) 23)
|
||||
(write x)
|
||||
7
Фурина Валерия/README.md
Normal file
7
Фурина Валерия/README.md
Normal file
@@ -0,0 +1,7 @@
|
||||
# Лемма 7.4
|
||||
## Комментарии к коду
|
||||
#### Вариант 1: добавляет пустой список и переворачивает результат.
|
||||
#### Вариант 2: ничего не переворачивает, как и было в лемме.
|
||||
## Ссылка на видеоразбор
|
||||
https://www.youtube.com/watch?v=t_9Jv9RKarY
|
||||
|
||||
11
Фурина Валерия/var1.rkt
Normal file
11
Фурина Валерия/var1.rkt
Normal file
@@ -0,0 +1,11 @@
|
||||
(define (concat li1 li2)
|
||||
(if (empty? li2)
|
||||
li1
|
||||
(concat (append li1 (list (car li2))) (cdr li2))
|
||||
)
|
||||
)
|
||||
|
||||
(define (rev li1 li2)
|
||||
(reverse (concat li1 li2))
|
||||
)
|
||||
(writeln (rev (list 1 2) (list 3 4)))
|
||||
6
Фурина Валерия/var2.rkt
Normal file
6
Фурина Валерия/var2.rkt
Normal file
@@ -0,0 +1,6 @@
|
||||
(define (concat li1 li2)
|
||||
(if (empty? li2)
|
||||
li1
|
||||
(concat (append li1 (list (car li2))) (cdr li2))
|
||||
)
|
||||
)
|
||||
3
Шуканова Евгения/README.md
Normal file
3
Шуканова Евгения/README.md
Normal file
@@ -0,0 +1,3 @@
|
||||
# Лемма 7.5
|
||||
## Ссылка на видеоразбор
|
||||
https://youtu.be/FHUiQoj2YXc
|
||||
498
Шуканова Евгения/try.rkt
Normal file
498
Шуканова Евгения/try.rkt
Normal file
@@ -0,0 +1,498 @@
|
||||
#reader(lib"read.ss""wxme")WXME0109 ##
|
||||
#|
|
||||
This file uses the GRacket editor format.
|
||||
Open this file in DrRacket version 7.8 or later to read it.
|
||||
|
||||
Most likely, it was created by saving a program in DrRacket,
|
||||
and it probably contains a program with non-text elements
|
||||
(such as images or comment boxes).
|
||||
|
||||
http://racket-lang.org/
|
||||
|#
|
||||
33 7 #"wxtext\0"
|
||||
3 1 6 #"wxtab\0"
|
||||
1 1 8 #"wximage\0"
|
||||
2 0 8 #"wxmedia\0"
|
||||
4 1 34 #"(lib \"syntax-browser.ss\" \"mrlib\")\0"
|
||||
1 0 36 #"(lib \"cache-image-snip.ss\" \"mrlib\")\0"
|
||||
1 0 68
|
||||
(0
|
||||
#"((lib \"image-core.ss\" \"mrlib\") (lib \"image-core-wxme.rkt\" \"mr"
|
||||
#"lib\"))\0"
|
||||
) 1 0 16 #"drscheme:number\0"
|
||||
3 0 44 #"(lib \"number-snip.ss\" \"drscheme\" \"private\")\0"
|
||||
1 0 36 #"(lib \"comment-snip.ss\" \"framework\")\0"
|
||||
1 0 93
|
||||
(1
|
||||
#"((lib \"collapsed-snipclass.ss\" \"framework\") (lib \"collapsed-sni"
|
||||
#"pclass-wxme.ss\" \"framework\"))\0"
|
||||
) 0 0 43 #"(lib \"collapsed-snipclass.ss\" \"framework\")\0"
|
||||
0 0 19 #"drscheme:sexp-snip\0"
|
||||
0 0 29 #"drscheme:bindings-snipclass%\0"
|
||||
1 0 101
|
||||
(2
|
||||
#"((lib \"ellipsis-snip.rkt\" \"drracket\" \"private\") (lib \"ellipsi"
|
||||
#"s-snip-wxme.rkt\" \"drracket\" \"private\"))\0"
|
||||
) 2 0 88
|
||||
(3
|
||||
#"((lib \"pict-snip.rkt\" \"drracket\" \"private\") (lib \"pict-snip.r"
|
||||
#"kt\" \"drracket\" \"private\"))\0"
|
||||
) 0 0 55
|
||||
#"((lib \"snip.rkt\" \"pict\") (lib \"snip-wxme.rkt\" \"pict\"))\0"
|
||||
1 0 34 #"(lib \"bullet-snip.rkt\" \"browser\")\0"
|
||||
0 0 25 #"(lib \"matrix.ss\" \"htdp\")\0"
|
||||
1 0 22 #"drscheme:lambda-snip%\0"
|
||||
1 0 29 #"drclickable-string-snipclass\0"
|
||||
0 0 26 #"drracket:spacer-snipclass\0"
|
||||
0 0 57
|
||||
#"(lib \"hrule-snip.rkt\" \"macro-debugger\" \"syntax-browser\")\0"
|
||||
1 0 26 #"drscheme:pict-value-snip%\0"
|
||||
0 0 45 #"(lib \"image-snipr.ss\" \"slideshow\" \"private\")\0"
|
||||
1 0 38 #"(lib \"pict-snipclass.ss\" \"slideshow\")\0"
|
||||
2 0 55 #"(lib \"vertical-separator-snip.ss\" \"stepper\" \"private\")\0"
|
||||
1 0 18 #"drscheme:xml-snip\0"
|
||||
1 0 31 #"(lib \"xml-snipclass.ss\" \"xml\")\0"
|
||||
1 0 21 #"drscheme:scheme-snip\0"
|
||||
2 0 34 #"(lib \"scheme-snipclass.ss\" \"xml\")\0"
|
||||
1 0 10 #"text-box%\0"
|
||||
1 0 32 #"(lib \"text-snipclass.ss\" \"xml\")\0"
|
||||
1 0 1 6 #"wxloc\0"
|
||||
0 0 88 0 1 #"\0"
|
||||
0 75 1 #"\0"
|
||||
0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 0 9
|
||||
#"Standard\0"
|
||||
0 75 12 #"Courier New\0"
|
||||
0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 24
|
||||
#"framework:default-color\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 15
|
||||
#"text:ports out\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1
|
||||
-1 2 15 #"text:ports err\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 93 -1 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 17
|
||||
#"text:ports value\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1
|
||||
-1 2 27 #"Matching Parenthesis Style\0"
|
||||
0 -1 1 #"\0"
|
||||
1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1
|
||||
-1 2 1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 37
|
||||
#"framework:syntax-color:scheme:symbol\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 38
|
||||
#"framework:syntax-color:scheme:keyword\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
|
||||
38 #"framework:syntax-color:scheme:comment\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 37
|
||||
#"framework:syntax-color:scheme:string\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 35
|
||||
#"framework:syntax-color:scheme:text\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 39
|
||||
#"framework:syntax-color:scheme:constant\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 49
|
||||
#"framework:syntax-color:scheme:hash-colon-keyword\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 42
|
||||
#"framework:syntax-color:scheme:parenthesis\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 36
|
||||
#"framework:syntax-color:scheme:error\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 36
|
||||
#"framework:syntax-color:scheme:other\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 16
|
||||
#"Misspelled Text\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2
|
||||
38 #"drracket:check-syntax:lexically-bound\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 28
|
||||
#"drracket:check-syntax:set!d\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 37
|
||||
#"drracket:check-syntax:unused-require\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 36
|
||||
#"drracket:check-syntax:free-variable\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 31
|
||||
#"drracket:check-syntax:imported\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 47
|
||||
#"drracket:check-syntax:my-obligation-style-pref\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 0 116 0 0 0 0 -1 -1 2 50
|
||||
#"drracket:check-syntax:their-obligation-style-pref\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 0 116 0 0 0 0 -1 -1 2 48
|
||||
#"drracket:check-syntax:unk-obligation-style-pref\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 139 142 28 0 0 0 -1 -1 2
|
||||
49 #"drracket:check-syntax:both-obligation-style-pref\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 139 142 28 0 0 0 -1 -1 2
|
||||
26 #"plt:htdp:test-coverage-on\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 2 27
|
||||
#"plt:htdp:test-coverage-off\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 70 1 #"\0"
|
||||
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
|
||||
-1 -1 4 4 #"XML\0"
|
||||
0 70 1 #"\0"
|
||||
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
|
||||
-1 -1 2 37 #"plt:module-language:test-coverage-on\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 38
|
||||
#"plt:module-language:test-coverage-off\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 93 -1 -1 0 1 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 0 36
|
||||
#"mrlib/syntax-browser:subtitle-color\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 36 36 140 255 255 255 -1
|
||||
-1 0 42 #"mrlib/syntax-browser:focused-syntax-color\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 34 139 34 255 255 255 -1
|
||||
-1 4 1 #"\0"
|
||||
0 71 1 #"\0"
|
||||
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
|
||||
-1 -1 4 1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1
|
||||
-1 4 1 #"\0"
|
||||
0 71 1 #"\0"
|
||||
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1
|
||||
-1 4 1 #"\0"
|
||||
0 71 1 #"\0"
|
||||
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 100 0 0 0 0 -1
|
||||
-1 4 1 #"\0"
|
||||
0 71 1 #"\0"
|
||||
1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1
|
||||
-1 2 1 #"\0"
|
||||
0 70 1 #"\0"
|
||||
1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 148 0 211 0 0 0 -1
|
||||
-1 2 1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1
|
||||
-1 0 1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
0 12 -1 -1 -1 -1 -1 -1 0 0 1 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
|
||||
-1 -1 2 1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
0 12 -1 -1 -1 -1 -1 -1 0 0 1 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
|
||||
-1 -1 2 1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 200 0 0 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 255 255 0 -1 -1 4
|
||||
32 #"widget.rkt::browser-text% basic\0"
|
||||
0 70 1 #"\0"
|
||||
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
|
||||
-1 -1 4 59
|
||||
#"macro-debugger/syntax-browser/properties color-text% basic\0"
|
||||
0 70 1 #"\0"
|
||||
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
|
||||
-1 -1 65 1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 190 190 190 0 0 0 -1 -1 4
|
||||
1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 255 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 107 142 35 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 100 0 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 0 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 100 149 237 0 0 0 -1 -1 4
|
||||
1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 65 105 225 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 70 130 180 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 47 79 79 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 139 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 75 0 130 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 160 32 240 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 165 0 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 250 128 114 0 0 0 -1 -1 4
|
||||
1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 184 134 11 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 128 128 0 0 0 0 -1 -1 4 1
|
||||
#"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 169 169 169 0 0 0 -1 -1 4
|
||||
1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 255 228 225 -1 -1 4
|
||||
1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 224 255 255 -1 -1 4
|
||||
1 #"\0"
|
||||
0 -1 1 #"\0"
|
||||
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 0 0 224 255 255 -1 -1
|
||||
0 167 0 28 3 12 #"#lang racket"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 1 #"("
|
||||
0 0 15 3 6 #"define"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 3 #"rev"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 14 3 1 #"x"
|
||||
0 0 24 3 1 #")"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 2 #"if"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 5 #"list?"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 14 3 1 #"x"
|
||||
0 0 24 3 3 #") "
|
||||
0 0 17 3 32
|
||||
(4
|
||||
#";\321\217\320\262\320\273\321\217\320\265\321\202\321\201\321"
|
||||
#"\217 \321\201\320\277\320\270\321\201\320\272\320\276\320\274"
|
||||
) 0 0 24 29 1 #"\n"
|
||||
0 0 24 3 5 #" "
|
||||
0 0 17 3 5 #";then"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 6 #" ("
|
||||
0 0 14 3 2 #"if"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 6 #"equal?"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 4 #"rest"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 14 3 1 #"x"
|
||||
0 0 24 3 2 #") "
|
||||
0 0 14 3 4 #"null"
|
||||
0 0 24 3 2 #") "
|
||||
0 0 17 3 33
|
||||
(5
|
||||
#";\320\262 \321\201\320\277\320\270\321\201\320\272\320\265"
|
||||
#" 1 \321\215\320\273\320\265\320\274\320\265\320\275\321\202"
|
||||
) 0 0 24 29 1 #"\n"
|
||||
0 0 24 3 9 #" "
|
||||
0 0 17 3 5 #";then"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 9 #" "
|
||||
0 0 14 3 1 #"x"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 9 #" "
|
||||
0 0 17 3 5 #";else"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 10 #" ("
|
||||
0 0 14 3 6 #"append"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 3 #"rev"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 4 #"rest"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 14 3 1 #"x"
|
||||
0 0 24 3 2 #"))"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 10 #" ("
|
||||
0 0 14 3 2 #"if"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 5 #"list?"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 5 #"first"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 14 3 1 #"x"
|
||||
0 0 24 3 2 #"))"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 13 #" "
|
||||
0 0 17 3 5 #";then"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 14 #" ("
|
||||
0 0 14 3 5 #"first"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 14 3 1 #"x"
|
||||
0 0 24 3 1 #")"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 13 #" "
|
||||
0 0 17 3 5 #";else"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 14 #" ("
|
||||
0 0 14 3 4 #"list"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 5 #"first"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 14 3 1 #"x"
|
||||
0 0 24 3 2 #"))"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 20 #" )"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 11 #" )"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 7 #" )"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 5 #" "
|
||||
0 0 17 3 5 #";else"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 5 #" "
|
||||
0 0 14 3 1 #"x"
|
||||
0 0 24 3 1 #")"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 3 2 #" )"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 17 3 10 #";displayln"
|
||||
0 0 17 3 23
|
||||
(6
|
||||
#" \"\320\237\321\200\320\276\320\262\320"
|
||||
#"\265\321\200\320\272\320\260 rev\""
|
||||
) 0 0 24 29 1 #"\n"
|
||||
0 0 24 3 1 #"("
|
||||
0 0 14 3 3 #"rev"
|
||||
0 0 24 3 2 #" ("
|
||||
0 0 14 3 4 #"list"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 21 3 1 #"1"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 21 3 1 #"2"
|
||||
0 0 24 3 1 #" "
|
||||
0 0 21 3 1 #"3"
|
||||
0 0 24 3 2 #"))"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 17 3 10 #";displayln"
|
||||
0 0 17 3 20 #" \"rev(append l1 l2)\""
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 17 3 2 #";("
|
||||
0 0 17 3 3 #"rev"
|
||||
0 0 17 3 2 #" ("
|
||||
0 0 17 3 6 #"append"
|
||||
0 0 17 3 2 #" ("
|
||||
0 0 17 3 4 #"list"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"1"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"2"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"3"
|
||||
0 0 17 3 3 #") ("
|
||||
0 0 17 3 4 #"list"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"0"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"4"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 5 #"5 )))"
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 17 3 10 #";displayln"
|
||||
0 0 17 3 27 #" \"append (rev l2) (rev l2)\""
|
||||
0 0 24 29 1 #"\n"
|
||||
0 0 17 3 1 #";"
|
||||
0 0 17 3 1 #"("
|
||||
0 0 17 3 6 #"append"
|
||||
0 0 17 3 2 #" ("
|
||||
0 0 17 3 3 #"rev"
|
||||
0 0 17 3 2 #" ("
|
||||
0 0 17 3 4 #"list"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"0"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"4"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"5"
|
||||
0 0 17 3 5 #" )) ("
|
||||
0 0 17 3 3 #"rev"
|
||||
0 0 17 3 1 #"("
|
||||
0 0 17 3 4 #"list"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"1"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 1 #"2"
|
||||
0 0 17 3 1 #" "
|
||||
0 0 17 3 4 #"3)))"
|
||||
0 0
|
||||
8
Яндринский Влад/NOD.rkt
Normal file
8
Яндринский Влад/NOD.rkt
Normal file
@@ -0,0 +1,8 @@
|
||||
(define (gcd x y)
|
||||
(if (= y 0)
|
||||
x
|
||||
(gcd y (modulo x y))
|
||||
)
|
||||
)
|
||||
|
||||
(writeln (gcd 999 33))
|
||||
6
Яндринский Влад/README.md
Normal file
6
Яндринский Влад/README.md
Normal file
@@ -0,0 +1,6 @@
|
||||
# Вычисление НОД
|
||||
## Ссылка на видеоразбор
|
||||
https://youtu.be/8ulDLp5TqL0
|
||||
## Код из книги
|
||||
#let rec gcd x y =
|
||||
if y = 0 then x else gcd y (x mod y);;
|
||||
Reference in New Issue
Block a user