Contents
 

 

Technical Information

      After this paragraph, the text is in Bulgarian and it is written according to the Windows-1251 encoding (the standard Microsoft encoding for Cyrillic characters). In case the next paragraph does not look like a Bulgarian text, the lecture notes will be not readable too. In order that you could see the Cyrillic characters, your browser should be configured for properly using the Windows-1251 character set.


      В записките се срещат доста формули, съдържащи гръцки букви, логически и математически знаци. Някои по-сложни формули или части от формули са представени чрез графични изображения, съгласувани с определен размер на шрифта в текста (заради тези изображения четенето на записките трябва да се извършва чрез програма-браузър, имаща графични възможности). В повечето случаи обаче вместо включването на графични изображения са използвани други средства на езика HTML. В първоначалния вариант на записките са използвани възможности за преминаване към шрифт "Symbol" на определени места в текста, за поставяне на долни и горни индекси и за оформяне на таблици. Това е направено посредством HTML-команди от следните видове:

<font face="Symbol"> . . . </font>,
   <sub> . . . </sub><sup> . . . </sup>,
<table cellspacing=0> . . . </table>.
По тази причина за четене на първоначалния вариант на записките е нужно Вашият браузър освен да има графични възможности още да може коректно да изпълнява изброените видове команди. Известна ориентировка дали положението при него е такова можете да получите, като видите как изглежда на екрана на Вашия монитор например следното пробно изречение:

    Когато един кръг има радиус R0ў, лицето на този кръг е pR0ў 2

      Aко за показване на текста се избере подходящ размер на шрифта и евентуално се пренебрегнат някои незначителни различия в подробности на изобразяването, би трябвало да виждате следното:

GIF-изображение на правилния вид на изречението

      В случай, че забелязвате някакви нередности в начина, по който е показано пробното изречение, трябва да очаквате, че те ще се проявят и при показване на формули от първоначалния вариант на записките. Информацията по-надолу би могла понякога да е от полза за отстраняване на подобни нередности.

      Една от често срещаните неприятности е във връзка с командите от първия вид (напоследък тя започва да се среща още по-често, защото използването на шрифта "Symbol" вече отживява времето си - вж. по този повод страницата "Using Greek and special characters from Symbol font in HTML" на Алън Ууд). За коректното изпълнение на командите от първия вид е нужно шрифтът "Symbol" да е инсталиран и да се използва коректно от Вашия браузър. Като сравните двете таблици по-надолу, Вие можете да видите дали тези условия са изпълнени (все пак имайте пред вид, че в записките са използвани само малък брой от знаците, които се виждат във втората таблица, и по тази причина някои евентуални различия, които бихте забелязали, могат да се окажат без значение; освен това отбелязваме, че в най-дясната клетка на последния ред е поставена шпация вместо знака, който би трябвало да стои там, защото той е в състояние да обърка някои браузъри, а поради тяхна недопустимост при използваното кодиране по същия начин са заменени още и знаците с ASCII номера 127 и 152).

Вашият браузър изобразява знаците от шрифта "Symbol" така:
  ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ?
@ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _
` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~  
Ђ Ѓ ѓ Љ Њ Ќ Ћ Џ ђ   љ њ ќ ћ џ
  Ў ў Ј ¤ Ґ ¦ § Ё © Є « ¬ ­ ® Ї ° ± І і ґ µ · ё є » ј Ѕ ѕ ї
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю  

Предполаганите в първоначалния вариант на записките образи на същите знаци са следните:
GIF-изображение на правилния вид на таблицата

      Ако работите под Windows и гореизложените проби дават неблагоприятен резултат, бихте могли да опитате да си послужите с друг браузър - например Internet Explorer и отдавна остарелите версии 3 и 4 на Netscape Navigator би трябвало да изпълняват изброените няколко вида команди (текущата версия 7 на Netscape Navigator обаче пренебрегва командите от първия вид). В някои случаи не се налага да сменяте браузъра, а само да промените някои настройки на софтуера (например, ако ползвате версия 4 на Netscape Navigator и забележите, че в пробното изречение вместо гръцката буква се появява латинска, ще трябва в Preferences да поискате браузърът да използва не избраните от Вас шрифтове, а онези, които са посочени в HTML-документите). Понякога обаче проблемите, за които става дума, може да се окажат трудно преодолими. Поради тази причина е започната постепенна замяна на знаците от шрифта "Symbol" в новия вариант на записките със съответни Unicode символи (освен това по-раншният знак  ї  за край на доказателство се заменя с Unicode символа с номер 9633, който се изобразява като квадратче и не е съответен на знак от шрифта "Symbol"). На онези места от текстовете, където е извършена замяна със съответен Unicode символ, има възможност чрез щракване върху заменящия символ да се види съответният ред в таблица за осъществени замени и в случай на проблеми с четенето на символа евентуално от нея да се получи информация как би трябвало той да изглежда на екрана (това обаче не е направено за случая на гръцки букви, в който случай проблеми обикновено не възникват). Ако Вашият браузър показва коректно знаците в първата колона на въпросната таблица, споменатата замяна не би трябвало да е пречка за четенето на текстовете, където тя е извършена.

      Забележка 1. Разбира се за безпроблемното четене на гореспоменатите текстове е нужен браузър, който да се справя с Unicode. Съвременните браузъри по принцип са такива, но множеството на онези кодирани символи, които фактически биват показани на екрана, варира в зависимост от обстоятелствата (то зависи най-вече от наличните шрифтове на компютъра, но може да зависи също от избора на браузъра и от някои негови настройки; от тези фактори може да зависи и доколко коректно ще бъдат показвани символите). Всички символи, използвани в споменатите по-горе текстове, са налице например в богатите Windows шрифтове Arial Unicode MS и Lucida Sans Unicode, като почти всички са налице и в шрифта Free Serif. Ако на Вашия компютър е инсталиран някой от първите два измежду гореспоменатите шрифтове или някой друг достатъчно богат шрифт, а пък операционната система и браузърът не са прекалено стари, доста е вероятно да постигнете да бъдат коректно (или поне почти коректно) показвани на екрана всички използвани символи (евентуално чрез подходяща промяна в настройките  -  например чрез избиране на някой такъв богат шрифт за шрифт по подразбиране на браузъра). За да се увеличи шансът за коректно показване на използваните символи, кръгът им фактически е много по-тесен, отколкото би позволил някой от въпросните два шрифта  -  всъщност по-голямата част от символите са от множеството Windows Glyph List 4 (WGL4). Изключенията в това отношение се дължат само на неприятното обстоятелство, че някои важни за нас символи (например знакът за дизюнкция, двата квантора и знакът за еквивалентност) не са включени в множеството WGL4.

      Много от текстовете на записките, включително и настоящият, се появяват в прозорци с бутон "Close this window" накрая (в повечето случаи той е налице и в началото). За да може да действа такъв бутон, нужно е Вашият браузър да да е в състояние да изпълнява инструкции на JavaScript. Ако не желаете или нямате възможност да го накарате да прави това, можете разбира се да затваряте споменатите прозорци чрез стандартните средства на браузъра (използването на тези средства има и предимството, че не се налага да отивате в края или в началото на текста).

      Забележка 2 (относно HTML-валидността). В началото на файла-източник на всеки от най-новите текстове е поставен ред, който позволява HTML-валидността на въпросните файлове да бъде проверявана с помощта на работещата on-line програма-валидатор, предложена от консорциума W3C.

      Забележка 3 (относно правописа). Местоимението, което се записва като "и" с ударение, при HTML-представянето на записките е заменено с "й". Вероятно този компромис ще стане излишен при по-нататъшното обогатяване на компютърните шрифтове.
 
 Contents
 
Дата на една по-стара версия: 29.03.2004
Дата на настоящата версия: 28.02.2005