Бойко Бл. Банчев - Знае се, че рационалните числа образуват интересни и богати на изчислителни възможности структури като редици на Фарей (Феъри) и безкрайни дървета. Малко внимание се обръща на по-общо, систематично излагане на основните свойства на дробите като множество. Понятия биват въвеждани без обосноваване, някои доказателства са ненужно изкуствени, а почти винаги и едните, и
другите като че биват отнесени към една или друга особена структура, вместо към множеството на дробите изобщо. Изненадващо...
Бойко Бл. Банчев - Представена е обосновка и описание на език за програмиране в композиционен
стил за опитни и учебни цели. Под “композиционен” имаме предвид функционален стил на програмиране, при който пресмятането е йерархия от композиции и прилагания на функции. Един от данновите типове на езика е този на
геометричните фигури, които могат да бъдат получавани чрез прости правила
за съотнасяне и така също образуват йерархични композиции. Езикът е силно
повлиян от GeomLab, но по редица свойства...
Бойко Банчев -
Понятието пресмятане в широкия му смисъл и неговото присъствие в природата,
науката, технологията и други области е свързано с редица неизяснени въпроси.
Дори в по-тесните рамки на програмирането и използването на компютри то не
е адекватно разбрано. Представяме тезата, че един начин за приближаване към
такова разбиране е разкриването на дълбинните структури и отношения, свързани с пресмятането, и на тази основа построяване на речник на пресмятането.
Important questions...
Download Results (CSV)