над даними (мовою управління роботою комп'ютера) є командний мова процесора ЕОМ . До зовнішніх мовам представлення дій над Даними відносяться мови програмування високого рівня, вхідні мови пакетів прикладних програм, командні мови операційних систем, мови маніпулювання даними в СУБД і пр.
1.3 Мови подання чисел: системи числення
Тема В«Системи численняВ» має пряме відношення до математичної теорії чисел. Однак у шкільному курсі математики вона, як правило, не вивчається. Необхідність вивчення цієї теми в курсі інформатики пов'язана з тим фактом, що числа в пам'яті комп'ютера представлені в двійковій системі числення, а для зовнішнього представлення вмісту пам'яті, адрес пам'яті використовують шістнадцяткову або вісімкову системи. Це одна з традиційних тем курсу інформатики або програмування. Будучи суміжній з математикою, дана тема вносить внесок також і в фундаментальне математичну освіту школярів. p align="justify"> У перших підручниках інформатики поняття системи числення не згадується зовсім. Говориться лише про те, що вся інформація в комп'ютері представляється в двійковому вигляді. Серед підручників другого покоління найбільшу увагу системам числення приділено в книзі. Цій темі присвячено окремий параграф, де дано таке визначення В«Система числення - спосіб запису чисел за допомогою заданого набору спеціальних знаків (цифр )В». У більш пізньому підручнику цих же авторів наводиться таке визначення: В«Спосіб запису чисел називається нумерацією або, по-іншому, системою численняВ».
Якщо розглядати систему числення як мова представлення числової інформації, то можна сказати, що дані вище визначення зачіпає тільки алфавіт, синтаксис і семантику мови чисел. В«Система числення - спосіб зображення чисел і відповідні йому правила дії над числамиВ». Під правилами дії розуміються способи виконання арифметичних обчислень в рамках даної системи числення. Ці правила можна назвати прагматикою мови чисел. br/>
1.4 Мова логіки і його місце в базовому курсі
Логіка - наука, що вивчає методи встановлення істинності чи хибності одних висловлювань на основі істинності чи хибності інших висловлювань. Основи логіки як науки були закладені в IV ст. до н.е. давньогрецьким ученим Аристотелем. Правила виведення істинності висловлювань, описані Аристотелем (силогізми) залишалися основним інструментом логіки аж до другої половини XIX ст., Коли в працях Дж. Буля, О. де Моргана та ін виникла математична логіка. Засобами цієї нової науки всі колишні досягнення лог...
