Обчислення - значення слова обчислення в словнику української мови
Що таке «Обчислення» і що воно означає? Значення і тлумачення терміна в словниках та енциклопедіях:
- заснований на чітких правилах формальний апарат оперування зі знаннями певного виду, що дозволяє дати точний опис деякого класу задач, а для окремих підкласів цього класу - і алгоритм рішення. У математичній логіці поняття про І. піддалося уточненню і більш суворої формалізації. Логічне І. будується на базі деякого формалізеванного мови. Здається набір вихідних символів, з яких за допомогою чітко визначених правил будуються формули розглянутого І. Деякі з цих формул вибираються в якості аксіом, з яких за допомогою правил перетворення отримують нові формули, звані теоремами. Після того як до І. додається інтерпретація, що надає значення її вихідним символам і формулами, І. перетворюється в мову, що описує деяку предметну область (див. Висловлювань, класів, предикатів і т. П.).
- заснований на чітких правилах формальний апарат оперування зі знаннями певного виду, позволя ющий дати точний опис деякого класу задач, а для від-ділових підкласів цього класу - і алгоритм рішення. У математичній логіці поняття про І. піддалося уточненню і більш суворої формалізації. Логічне І. будується на основі не-якого формалізеванного мови. Здається набір результат-них символів, з яких за допомогою чітко визначених правил будуються формули розглянутого І. Деякі з цих формул вибираються в якості аксіом, з яких за допомогою правил пре-освіти отримують нові формули, звані теоремами. Після того як до І. додається інтерпретація, що надає значення її вихідним символам і формулами, І. перетворюється в мову, описуючи ющий деяку предметну область (див. Висловлюючи-ний, класів, предикатів і т. П.).
Великий Енциклопедичний Словник »Обчислення
знакова система, створювана використанням процессаобразованія всіх синтаксично правильних символічних виразів з буквалфавіта системи - мови обчислення, т. е. умов (слів) і формул (фраз), і процесу виведення потенційно значущих (істинних) формул обчислення (егофразеологіі) з деякого фіксованої в тому ж мовою набораформул-аксіом. Будь-яке обчислення однозначно визначається завданням алфавітаісчісленія, правил освіти мови в алфавіті, безлічі аксіом і правілпреобразованія (виведення) його фразеології. Приписування символам ісчісленіязначеній, т. Е. Розгляд обчислень як знакової системи (інтерпретація обчислень), перетворює числення в формалізований язик.Основние приклади обчислення: числові і алгебраїчні системи, логіческіеісчісленія.
- система правил оперування зі знаками, що розширює можливості змістовного мислення в рішенні задач верб доказі суджень, виразність засобами (на "мові") даного І. Особливість І. полягає в тому, що об'єкти, з до-римі в ньому оперують, є матеріальними предметами (цифри, букви і ін. знаки), практично не змінюються в процесі застосування до них правил І. Історично І. виникло і розвинулося в рамках математики (напр. диференціальне й інтегральне І. та ін.); пізніше метод побудови І. був поширений на логіку, з'явилися різні види логічного і логіко-математичного І. у зв'язку з чим оформилася як наука математична, або символічна, логіка, в якій за допомогою побудови І. виражаються логічні форми. Подання певних областей знання, особливо в дедуктивних науках, у вигляді І. будується на основі методів, розроблених в суч. логіці, є найбільш послідовним типом формалізації відповідної галузі знання; ефективність такої формалізації підтверджується практикою застосування обчислювальної техніки, розвитком кібернетики і інформатики (Логістичний метод).
Слова близькі за значенням
(Франц. Calcul infinitesimal) - обчислення, вироблені з нескінченно малими величинами, при яких похідний результат розглядається як нескінченна сума нескінченно малих. є загальним поняттям для диференціальних і інтегральних числень, що становлять основу сучасної вищої математики.
розділ математичної логіки, аксіоматіческоепостроеніе логіки висловлювань.
Великий Енциклопедичний Словник
- логічна система, формалізуються міркування, засновані на структурі складних висловлювань у відверненні від внутрішньої структури елементарних висловлювань. Класичне І. в. несуперечливо (Несуперечність аксіоматичної теорії), володіє повнотою (Повнота аксіоматичної теорії). Про некласичної І. в. см. Конструктивна логіка. Багатозначна логіка.
розділ математичної логіки, логіка класів, представлена (побудована) як обчислення; приблизно соответствуетсіллогістіке Аристотеля.
Великий Енциклопедичний Словник
- розрахунок оплати відпустки. Здійснюється на основі середнього денного заробітку. Середній денний заробіток для оплати відпусток і виплати компенсацій за невикористані відпустки обчислюються розподілом фактично виплачених сум в розрахунковому періоді (за останні три календарні місяці) на 3 і на коефіцієнти: 25 (25 - середньомісячне число робочих днів при оплаті відпустки, встановленого у робочих днях) ; 29 (29 - середньомісячне число календарних днів із оплаті відпустки, встановленого в календарних днях). При цьому слід мати на увазі, що тривалість щорічної відпустки, встановленого у робочих днях, обчислюється за календарем шестиденного робочого тижня з вихідним днем у неділю. Святкові неробочі дні, що припадають на період відпустки, у число календарних днів відпустки не включаються і не оплачуються.
розділ математичної логіки, логіческоеісчісленіе, в алфавіт знаків якого, крім символів ісчісленіявисказиваній, входять також символи речей (індивідів), їх властивостей іотношеній, а також виразів "" все "" і "" деякі "" (квантори), позволяющіеколічественно охарактеризувати зв'язку речей, властивостей і відносин; служітаксіоматізаціей логіки предикатів.
Великий Енциклопедичний Словник
- розширення числення висловів шляхом формалізації висновків, що грунтуються на внутрішній структурі висловлювань. І. п. Було побудовано Фреге і є істотним збагаченням Аристотелевой і традиційної силлогистики.
1. Процес дії по знач. глаг. обчислювати (1), злічити підрахунок, обчислення. 2. устар. Процес дії по знач. глаг. обчислювати (2), злічити перерахування.
Тлумачний словник Єфремової
- розрахунок середнього заробітку. Середній денний заробіток визначається шляхом ділення фактично виплачених сум в розрахунковому періоді (три календарних місяці з 1-го по 1-е число) на кількість робочих днів, виходячи з нормальною або скороченою тривалості робочого часу, встановленої законодавством РФ. При цьому враховуються всі виплати, на які нараховуються страхові внески. Виключенню підлягають фактично отримані суми, а також час, протягом якого працівник звільнявся від роботи (з частковим збереженням заробітної плати або без оплати), знаходився в основному, додатковому або навчальній відпустці, отримуючи допомогу по тимчасовій непрацездатності або допомога по вагітності та пологах, а також не працював у зв'язку з припиненням діяльності підприємства, цеху або виробництва, скороченням обсягів виробництва продукції (робіт, послуг). У розрахунок середнього заробітку не включаються такі виплати, як компенсація за невикористану відпустку, вихідна допомога при звільненні, різні види додаткових посібників у вигляді матеріальної допомоги, поодинокі нагороди та ін. В зв'язку з інформацією і зростанням цін в разі підвищення тарифних ставок (окладів) в розрахунковому періоді при обчисленні середнього заробітку тарифні ставки (оклади, а також премії та інші виплати коригуються на коефіцієнт підвищення). Премії та інші виплати стимулюючого характеру, передбачені системою оплати праці, включаються при підрахунку середнього заробітку за часом їх фактичного нарахування, а річні премії і винагороди за вислугу років - у розмірі 1/12 за кожен місяць розрахункового періоду.
Термін придатності товару визначається періодом часу, що обчислюється від дня його виготовлення, протягом якого товар є придатним для використання, або датою, до настання якої товар є придатним для використання. Цивільний кодекс Укаїни від 26.01.96 N 14-ФЗ, ст.473