Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=арифметические функции<.>

Загальна кількість знайдених документів : 2
Показані документи с 1 за 2

510.6
М50

Мендельсон, Элиот.
Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.

УДК

510.6

ББК 22.122
Рубрики: Математична логіка--Наукові видання

Кл.слова (ненормовані):
тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов
Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Знайти схожі

004.422.636.7
Л64

Литвин, Олег Федорович.
Табличный процессор SuperCalc4. Технология работы и практика решения задач [] / О. Ф. Литвин. - М. : Финансы и статистика : ЮНИТИ, 1991. - 144 с. : рис., табл. - Прил.: с. 134-142. - ISBN 5-279-00716-1 : 1.00 р.

УДК

004.422.636.7

ББК 32.973-01
Рубрики: SuperCalc--Технологія--Задачі--Практичні посібники

Кл.слова (ненормовані):
классификация слэш-команд -- класифікація слеш-команд -- электронные таблицы -- електронні таблиці -- команды глобального типа -- команди глобального типу -- команды конструирования электронных таблиц -- команди конструювання електронних таблиць -- команды эргономического типа -- команди ергономічного типу -- команды управления данными -- команди управління даними -- система макросов -- система макросів -- макрокоманды программирования -- макрокоманди програмування -- арифметические функции -- арифметичні функції -- логические функции -- логічні функції -- статистические функции -- статистичні функції -- индексные функции -- індексні функції -- календарные функции -- календарні функції -- финансовые функции -- фінансові функції -- ввод данных -- введення даних
Анотація: Табличный процессор SuperCalc4 - один из наиболее популярных программных систем обработки электронных таблиц на компьютерах семейства IMB PC.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)