Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают:
Исчисление кортежей
Исчисление доменов
/** libraries */
#include <iostream>
#include <cmath>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <stack>
#include <algorithm>
/** libraries */
using namespace std;
/** defines */
#define ll long long
#define ld long double
#define yes cout << "YES" << "\n"
#define no cout << "NO" << "\n"
/** defines */
signed main() {
ios_base::sync_with_stdio(false);
cin.tie(nullptr);
cout.tie(nullptr);
ld a;
cin >> a;
if(a > 0)
a += 20;
cout << a;
}
Поделитесь своими знаниями, ответьте на вопрос:
Две минуты записи цифрового аудиофайла занимают на диске 5, 1 мб. частота дискретизации — 22050 гц. какова разрядность аудиоадаптера?