Logical spreadsheet
http://dbpedia.org/resource/Logical_spreadsheet an entity of type: Software
A logical spreadsheet is a spreadsheet in which formulas take the form of logical constraints rather than function definitions. In traditional spreadsheet systems, such as Excel, cells are partitioned into "directly specified" cells and "computed" cells and the formulas used to specify the values of computed cells are "functional", i.e. for every combination of values of the directly specified cells, the formulas specify unique values for the computed cells. Logical Spreadsheets relax these restrictions by dispensing with the distinction between directly specified cells and computed cells and generalizing from functional definitions to logical constraints.
rdf:langString
Логічна електронна таблиця — це електронна таблиця, в якій формули мають форму логічних обмежень, а не визначень функцій. У традиційних системах електронних таблиць, таких як Excel, комірки поділяються на «безпосередньо визначені» та «обчислювані», а формули, використовувані для визначення значень обчислюваних комірок, є «функціональними», тобто для кожної комбінації значень безпосередньо вказаних клітинок формули визначають унікальні значення для обчислених комірок. Логічні електронні таблиці пом’якшують ці обмеження, обходячись без відмінності між безпосередньо визначеними та обчислюваними комірками та переходячи від функціональних визначень до логічних обмежень.
rdf:langString
rdf:langString
Logical spreadsheet
rdf:langString
Логічна електронна таблиця
xsd:integer
17326215
xsd:integer
968042752
rdf:langString
A logical spreadsheet is a spreadsheet in which formulas take the form of logical constraints rather than function definitions. In traditional spreadsheet systems, such as Excel, cells are partitioned into "directly specified" cells and "computed" cells and the formulas used to specify the values of computed cells are "functional", i.e. for every combination of values of the directly specified cells, the formulas specify unique values for the computed cells. Logical Spreadsheets relax these restrictions by dispensing with the distinction between directly specified cells and computed cells and generalizing from functional definitions to logical constraints. As an illustration of the difference between traditional spreadsheets and logical spreadsheets, consider a simple numerical spreadsheet with three cells a, b, and c. Each cell accepts a single integer as value; and there is a formula stating that the value of the third cell is the sum of the values of the other two cells. Implemented as a traditional spreadsheet, this spreadsheet would allow the user to enter values into cells a and b, and it would automatically compute cell c. For example, if the user were to type 1 into a and 2 into b, it would compute the value 3 for c. Implemented as a logical spreadsheet, the user would be able to enter values into any of the cells. The user could type 1 into a and 2 into b, and the spreadsheet would compute the value 3 for c. Alternatively, the user could type 2 into b and 3 into c, and the spreadsheet would compute the value 1 for a. And so forth. In this case, the formula is functional, and the function is invertible. In general, the formulas need not be functional and the functions need not be invertible. For example, in this case, we could write formulas involving inequalities and non-invertible functions (such as square root). More generally, we could build spreadsheets with symbolic, rather than numeric data, and write arbitrary logical constraints on this data.
rdf:langString
Логічна електронна таблиця — це електронна таблиця, в якій формули мають форму логічних обмежень, а не визначень функцій. У традиційних системах електронних таблиць, таких як Excel, комірки поділяються на «безпосередньо визначені» та «обчислювані», а формули, використовувані для визначення значень обчислюваних комірок, є «функціональними», тобто для кожної комбінації значень безпосередньо вказаних клітинок формули визначають унікальні значення для обчислених комірок. Логічні електронні таблиці пом’якшують ці обмеження, обходячись без відмінності між безпосередньо визначеними та обчислюваними комірками та переходячи від функціональних визначень до логічних обмежень. Як ілюстрацію різниці між традиційними та логічними таблицями розглянемо просту числову таблицю з трьома комірками A, B і C. Кожна комірка приймає одне ціле число як значення; і є формула, яка стверджує, що значення третьої клітинки є сумою значень двох інших клітинок. Реалізована як традиційна електронна таблиця, ця електронна таблиця дозволить користувачеві вводити значення в клітинки A і B, і вона автоматично обчислюватиме клітинку C. Наприклад, якщо користувач введе 1 в A і 2 в B, він отримає значення 3 в C. Реалізація логічної електронної таблиці дозволяє користувачу вводити значення в будь-яку з комірок. Користувач може ввести 1 в A і 2 в B, і електронна таблиця обчислить значення 3 в C. Крім того, користувач може ввести 2 в B і 3 в C, і електронна таблиця обчислить значення 1 в A тощо. У цьому випадку формула функціональна, а функція оборотна. Загалом, формули не обов’язково мають бути функціональними, а функції — оборотними. Наприклад, у цьому випадку можна написати формули, що включають нерівності та необоротні функції (наприклад, квадратний корінь). Загалом, створюється електронна таблиця зі символьними, а не числовими даними, і записуються довільні логічні обмеження для цих даних.
xsd:nonNegativeInteger
3716