Te materiały powstają spontanicznie, dlatego mogą zawierać błędy. Zachęcam do ich zgłaszania i zadawania pytań.
podstawowy podręcznik (po angielsku)
Czasownik aplikować
rozumiemy jako użycie czegoś czynnego — czegoś, co działa. W przypaku tabletki to ona zawiera substację czynną i aplikuje się ją temu, kto ją przyjmuje. Zaś w przypadku funkcji, to funkcje opisują działanie i, choć one przyjmują argument, to one są do argumentu aplikowane.
dowód indukcyjny w pliku tekstowym
dowód indukcyjny w Coqu rozwiązujący zadanie 12. (1/3 punktów) z kolokwium z 2018 roku
kontrakt parametryczny i oznaczenie polarności
dowód typowania w pliku tekstowym
kod Graphviz drzewa przeszukiwania odpowiadający na pytanie 10. z egzaminu zasadniczego z 2014 roku w składni racklogowej oraz wynikowa grafika
Uwaga: Otoczenie wyrażenia nawiasami w języku Racket zmienia jego znaczenie, ponieważ jest to wywołanie funkcji.
CPython jako przykład interpretera
wyrażenie pierwotne — wyrażenie, którego wartość zadana jest bezpośrednio, bez potrzeby obliczania, np. liczba
zwyczajne wyrażenie języka Racket — wyrażenie pierwotne, identyfikator lub zwyczajna kombinacja
kombinacja (zwyczajna) — ciąg (zwyczajnych) wyrażeń otoczony parą nawiasów, np. (+ 2 (* 2 2))
lista — lista pusta lub kons, którego drugim komponentem jest lista
atom — dana bez wewnętrznej struktury (np. liczba, symbol, wartość logiczna, pusta lista)
s-wyrażenie — atom lub para s-wyrażeń
polarność — własność podwyrażeń typowych odpowiadająca kierunkowi przepływu informacji, zdefiniowana rekurencyjnie względem konstruktorów typów: korzeń wyrażenia ma dodatnią polarność, prawe podwyrażenie (przy grocie) strzałki ma tę samą polarność, co ona, lewe podwyrażenie — przeciwną, podwyrażenia pary — taką samą, jak para, i tak dalej dla innych spójników
