Jan. 2nd, 2017

bamalip: (Default)
По мотивам предыдущего поста https://bamalip.dreamwidth.org/193844.html и ответа akuklev.livejournal.com я начал в новом году упражняться в реализации этого всего на Скале. Комментарии к коду воспоследуют в виде постов по мере реализации. Цель - формализовать понятия вычислимой компактности, а также индуктивно заданных семейств компактов, произведения которых вновь являются вычислимыми компактами. Польза - надежно проверять кванторы на бесконечных областях. Для себя я хочу увидеть, насколько широко можно применять такой фокус, и заодно - насколько Скала применима для таких штук.

UPD забыл сразу дать ссылку, вот репозиторий https://github.com/zraffer/real-cats

Profile

bamalip: (Default)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23242526272829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 23rd, 2017 04:32 am
Powered by Dreamwidth Studios