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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

Пошуковий запит: <.>K=математическая логика<.>

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

1-10 11-20 21-30 31-33

519.854(075.8)
Б24

Бардачов, Юрій Миколайович.
Дискретна математика [] : підручник / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков ; ред. В. Є. Ходаков. - Київ : Вища школа, 2002. - 288 с. : рис., табл. - Бібліогр. в кінці глав. - ISBN 966-642-090-2 : 18.70 грн, 20.50 грн, 20.00 грн

УДК

519.854(075.8)

ББК 22.174я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи

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

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

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

510.6(076)
Т 76

Трохимчук, Ростислав Миколайович.
Збірник задач і вправ з математичної логіки [] : навч. посіб. для студентів вищ. учб. закл. / Р. М. Трохимчук ; Міжрегіональна Академія Управління персоналом. - К. : Персонал, 2008. - 114 с. : табл. - Л-ра: с. 113. - ISBN 978-966-608-854-6 : 013.50 грн

УДК

510.6(076)

ББК 22.12я73
Рубрики: Математика--Математична логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
математична логіка -- математическая логика -- задачі -- задачи -- логічні операції -- логические операции -- проблема розв'язності -- проблема разрешимости -- алгебра висловлень -- алгебра высказываний -- числення висловлень -- счисление высказываний -- теореми -- теоремы -- похідні правила виведення -- походные правила выведения -- логіка предикатів -- логика предикатов -- формули -- формулы -- рівносильність формул -- равносильность формул -- логічне слідування -- логическое следование -- формальна логіка -- формальная логика
Анотація: Збірник містить ретельно відібраний і систематизований набір відомих і оригинальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни.

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

Дод.точки доступу:
Міжрегіональна Академія Управління персоналом
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

519.854(075.8)
Б 82

Борисенко, Олексій Андрійович.
Дискретна математика [] : підручник / О. А. Борисенко . - Суми : Унів. кн., 2008. - 256 с. : табл., рис. - Дод.: с. 240-252. - Л-ра: с. 253-254. - ISBN 978-966-680-376-7 : 031.00 грн, 035.00 грн

УДК

519.854(075.8)

ББК 22.174я73
Рубрики: Дискретна математика--Навчальні видання

Кл.слова (ненормовані):
множини -- множества -- математична логіка -- математическая логика -- комбінаторика -- комбинаторіка -- системи числення -- системы исчисления
Анотація: Викладено елементарні питання теорії множин, логіки, комбінаторіки та систем числення.

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

510.6(075)
Л63

   Лисовик, Л. П.
    Теория трансдьюсеров [Текст] : [ в 3 т.] : монография / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4.
   Т. 1 : Главы 5-12, кн. 2 : Алгебра и автоматы. I . - 2005. - 272 с. - Лит.: с. 260-263. - Доп. лит.: с. 267. - ISBN 966-651-251-3 (Т. 1) : 30.00 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка--Наукові видання
Кл.слова (ненормовані):
контекстные языки -- контекстні мови -- классы языков -- класи мов -- неразрешимость -- недозволеність -- математическая логика -- жесткие множества в полугруппах -- жорсткі множини в напівгрупах -- конечно-неоднозначные преобразователи -- кінцево-неоднозначні перетворювачі -- регулярные множества в полугруппах -- регулярні множини в напівгрупах -- группы и языки -- групи і мови
Анотація: Проблема решения систем линейных диофантовых уравнений, изучение проблем эквивалентности для классов последовательностных преобразователей. Используется теорема Гильберта о базисах и гипотеза Эренфойхта. Книга рассчитана на студентов, аспирантов, научных работников в области математики.

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

73я2
Ш85

Шрайберг, Яков Леонидович.
Справочное руководство по основам информатики и вычислительной техники [] / Я. Л. Шрайберг, М. В. Гончаров. - М. : Финансы и статистика : Соваминко : Компьютер Пресс, 1990. - 32 с. : табл., рис. - Лит.: с. 32. - ISBN 5-279-00476-6 : 4.00 грн

ББК 73я2 + 32.97я2
Рубрики: Інформатика--Наукові видання

Кл.слова (ненормовані):
основы алгоритминзации -- основи алгоритмінізації -- основы программирования -- основи програмування -- математическая логика -- математична логіка -- програмное обеспечение -- програмне забезпечення -- технология программирования -- технология програмування
Анотація: Представлены основные сведения, опорные определения и понятия, относящиеся к основам информатики и вычислительной техники (ОИВТ).

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

Дод.точки доступу:
Гончаров, М. В.
Примірників всього: 1
ВНБТ (1)
Свободны: ВНБТ (1)
Знайти схожі

51(075.8)
Б 25

Барковський, Віктор Володимирович.
Вища математика для економістів [] : навч. посібник / В. В. Барковський, Н. В. Барковська. - 5-те вид. - К. : Центр учбов. л-ри, 2010. - 448 с. : мал. - Дод.: с. 400-417. - Відп. до вправ: с. 418-443. - Слов. ключ. слів: с. 444-445. - ISBN 978-966-364-991-7 : 89.00 грн

УДК

51(075.8)

ББК 22.11я73
Рубрики: Вища математика--Навчальні видання для вищої школи

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

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

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

51(075)
М 69

Михайленко, Віктор Мефодійович.
Спеціальні розділи математики [] : навч. посібник / В. М. Михайленко, Н. Д. Федоренко. - К. : Вища школа, 1992. - 214 с. : іл. - ISBN 5-11-003602-0 : 6.00 крб

УДК

51(075)

ББК 22.1я73
Рубрики: Математика--Навчальні видання

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

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

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

51(075.8)
Б 25

Барковський, Віктор Володимирович.
Вища математика для економістів [] : навч. посібник / В. В. Барковський, Н. В. Барковська. - Вид. 4-те, переробл. та допов. - К. : Центр навч. л-ри, 2005. - 445 с. - Дод.: с. 400-417. - Відп. до вправ: с. 418-443. - Слов. ключ. слів: с. 418-445. - ISBN 966-364-120-7 : 28.60 грн

УДК

51(075.8)

ББК 22.11я73
Рубрики: Вища математика--Навчальні видання для вищої школи

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

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

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

51(075.8)
О 35

   Овчинников, Петро Пилипович
    Вища математика [Текст] : підручник : у 2 ч. / за заг. ред. П. П. Овчинникова. - 2-ге вид., стер. - К. : Техніка, 2000. - ISBN 966-575-083-6.
   Ч. 1 : Лінійна і векторна алгебра. Аналітична геометрія. Вступ до математичного аналізу. Диференціальне і інтегральне числення / П. П. Овчинников, Ф. П. Яремчук, В. Н. Михайленко ; пер. з рос. П. М. Юрченка. - ISBN 966-575-078-X : 20.00 грн, 18.90 грн

УДК

51(075.8)

ББК 22.11я73
Рубрики: Вища математика--Навчальні видання

Кл.слова (ненормовані):
лінійна алгебра -- линейная алгебра -- векторна алгебра -- векторная алгебра -- аналітична геометрія -- аналитическая геометрия -- лінійні алгебраїчні рівняння -- линейные алгебраические уравнения -- лінійні перетворення -- линейные превращения -- поверхні -- поверхности -- площина -- плоскость -- пряма в просторі -- прямые в пространстве -- криві -- кривые -- математичний аналіз -- математический анализ -- математична логіка -- математическая логика -- послідовності -- последовательности -- множини -- множества -- границя функції -- предел функции -- неперервність функцій -- непрерывность функций -- комплексні числа -- комплексные числа -- диференціальне числення -- дифференциальное исчисление -- функції однієї змінної -- функции одной переменной -- функції багатьох змінних -- функции многих переменных -- похідна -- производная -- невизначені інтеграли -- неопределённые интегралы -- визначені інтеграли -- определенные интегралы
Анотація: Особливість підручника - в узагальненому підході до формулювання і доведення основних методів аналітичної геометрії, лінійної алгебри і математичного аналізу.

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

Дод.точки доступу:
Яремчук, Федір Петрович; Михайленко, Віктор Мефодійович; Овчинников, Петро Пилипович \ред.\; Юрченко, П. М. \пер.\; Яремчук, Ф. П.; Михайленко, В. Н.; Юрченко, П. М. \пер.\
Примірників всього: 5
ФОНД (2), ЧЗ (3)
Свободны: ФОНД (2), ЧЗ (3)
Знайти схожі

10.

16(09)
В 19

Васильев, Николай Александрович.
Воображаемая логика. Избранные труды [] / Н. А. Васильев ; [отв. ред. В. А. Смирнов] ; Акад. наук СССР, Ин-т философии. - М. : Наука, 1989. - 264 с. : граф. - Библиогр. в подстрочном примеч. - Прил.: с. 171-259. - Библиогр.: с. 260-263. - ISBN 5-02-007946-4 : 1.60 р.

УДК

16(09)

ББК 87.4
Рубрики: Логіка--Наукові видання

Кл.слова (ненормовані):
уявна (неаристотелева логіка) -- воображаемая (неаристотелева логика) -- трикутник протилежностей -- треугольник противоположностей -- приватні судження -- частные суждения -- металогіка -- металогика -- математична логіка -- математическая логика
Анотація: Н. А. Васильев (1880-1940) - один из основателей неоклассических логик, выдвинувший и обосновавший идею возможности логики без законов противоречия и исключенного третьего. Помиио ранее опубликованных работ в книгу включены малоизвестные рукописи ученого, а также прижизненные рецензии на его труды. Дан библиографический очерк.

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

Дод.точки доступу:
Смирнов, В. А. \отв. ред.\; Васильєв, Микола Олександрович (філософ, психолог, етик, історик російський ; 1880-1940) \про нього\; Академия наук СССР; Институт философии
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

1-10 11-20 21-30 31-33

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