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

Про нас

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

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

Базы данных

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

Вид поиска

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

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

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

Область поиска

в найденном

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=математична логіка<.>

Общее количество найденных документов : 37
Показаны документы с 1 по 30

1-30 31-37

51(075.8)
В55

Вища математика [] : навч. посібник / Ф. М. Лиман [та ін.] ; за заг. ред. Ф. М. Лимана. - Суми : Унів. кн., 2006. - 614с. : рис. - Предм. покажч.: с. 606-614. - Літ.: с.: 604-605. - ISBN 966-680-230-9 : 50.00 грн, 57.50 грн

УДК

51(075.8)

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

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

Держатели документа:
ЖОУНБ

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

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)
Найти похожие

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)
Найти похожие

11.

519.7
М 31

Маслов, Сергей Юрьевич.
Теория дедуктивных систем и ее применение [] / С. Ю. Маслов. - М. : Радио и связь, 1986. - 136 с. : рис. - (Кибернетика). - Лит.: с. 129-131. - 0.45 р.

УДК

519.7

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

фывфывфыв:
дедуктивна система -- математическая логика -- математична логіка -- канонічні обчислення -- канонические исчисления -- алгоритми -- алгоритмы -- горизонтальне моделювання -- горизонтальное моделирование -- принципы моделирования -- принципи моделювання -- вертикальне моделювання -- вертикальное моделирование
Аннотация: Излагается математический аппарат теории исчислений.

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

12.

007
О-75

Основы кибернетики [Текстььь] : учеб. пособие / под ред. К. А. Пупкова. - М. : Высш. шк., 1974 - .Математические основы кибернетики / А. И. Галушкин [и др.] ; ред. К. А. Пупков. - 413 с. : рис., табл. - Лит.: с. 405-406. - Алф. указ.: с. 407-411. - 0.88 р.

УДК

007

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

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

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

Доп.точки доступа:
Пупков, К. А. \ред.\; Галушкин, А. И.; Дегтярев, Ю. И.; Калинин, Б. Н.; Костюк, Г. А.
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

13.

517(075.3)
М79

Мордкович, Александр Григорьевич.
Математический анализ [] : учебник / А. Г. Мордкович, А. С. Солодовников. - М. : Высш. шк., 1990. - 416 с. : рис. - Предм. указ.: с. 410-416. - ISBN 5-06-001008-2 : 1.30 р.

УДК

517(075.3)

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

фывфывфыв:
математическая логика -- математична логіка -- действительные числа -- дійсні числа -- числовые последовательности -- числові послідовності -- функции одной переменной -- функції однієї змінної -- производная (мат.) -- похідна (мат.) -- неопределённый интеграл -- невизначений інтеграл -- определённый интеграл -- визначений інтеграл -- функции нескольких переменных -- функції кількох змінних -- числовые ряды -- числові ряди -- функциональные ряды -- функціональні ряди -- многочлены -- многочлени -- функции комплексной переменной -- функції комплексної змінної -- аналитические функции -- аналітичні функції -- дифференциал -- диференціал -- дифференциальные уравнения -- диференціальні рівняння -- двойной интеграл -- подвійний інтеграл -- криволинейный интеграл -- криволінійний інтеграл -- показательная функция -- показникова функція -- логарифмическая функция -- логарифмічна функція -- тригонометрические функции -- тригонометричні функції
Аннотация: Написан в соответствии с программой курса "Математический анализ" для техникумов по специальности "Прикладная математика".

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

Доп.точки доступа:
Солодовников, А. С.
Экземпляры всего: 4
ФОНД (1), АБ (1), ЧЗ (1), ВВ (1)
Свободны: ФОНД (1), АБ (1), ЧЗ (1), ВВ (1)
Найти похожие

14.

517
Х20

   Харік, Олена Юхимівна
    Елементи математичного аналізу для школярів [Текстььь] / О. Ю. Харік, Ю. В. Єременко. - Х. : Основа, 2011. - (Бібліотека журналу "Математика в школах України" ; Вип. 10 (106)).
   Ч. 1. - 112 с. : рис. - ISBN 978-617-00-1144-2 : 5.00 грн

УДК

517

ББК 22.161
Рубрики: Математичний аналіз--Навчальні видання для середньої школи

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

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

Доп.точки доступа:
Єременко, Юлія Вікторівна
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

15.

811.161.1:004=162.3](038)
Р88

Русско-чешский словарь по вычислительной технике [] = Rusko-cesky slovnik vypocetni techniky : ок. 30000 терминов и терминологических сочетаний / [А. И. Журавлев и др.] ; под ред.: М. Кржижа и А. П. Пронина. - М. : Русский язык ; Прага : СНТЛ - Изд-во техн. лит., 1988. - 440 с. - Текст рос., чес. - ISBN 5-200-00385-7 : 4.00 р.

УДК

811.161.1:004=162.3](038)

ББК 32.97я2 + 81.415.1-4
Рубрики: Обчислювальна техніка--Термінологічні словники російсько-чеські--Довідкові видання
   Російська мова--Технічна термінологія--Перекладні словники--Чеська мова--Довідкові видання
   Технічна термінологія--Перекладні словники російсько-чеські--Довідкові видання

фывфывфыв:
російсько-чеські словники -- русско-чешские словари -- термінологічні словники -- термилогические словари -- обчислювальна техніка -- вычислительная техника -- обчислювальні машини -- вычислительные машины -- програмування -- программирование -- математична логіка -- математическая логика
Аннотация: Словарь содержит ок. 30000 терминов по разделам: теория вычислительных машин и алгоритмов, языки и программирование, архитектура и принципы работы ЭВМ, операционные системы, математическая логика, передача, телеобработка и базы данных, технология, применение и обслуживание ЭВМ. Предназначен для научных, инженерно-технических работников и переводчиков.

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

Доп.точки доступа:
Журавлев, Алексей Иванович; Артюхов, Анатолий Петрович; Заморин, Анатолий Петрович; Марков, А. С.; Кржиж, Мирослав \ред.\; Пронин, А. П. \ред.\
Экземпляры всего: 1
ІН (1)
Свободны: ІН (1)
Найти похожие

16.

16(075.8)
Ж59

Жеребкін, Василь Євсійович.
Логіка [] : підручник / В. Є. Жеребкін. - 11-те вид., випр. - К. : Знання, 2011. - 262, [2] с. : рис. - Бібліогр. в підрядковій прим. - ISBN 978-966-620-274-4 : 54.00 грн

УДК

16(075.8)

ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи

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

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

17.

51
Б59

Бизам, Дьердь.
Игра и логика. 85 логич. задач [] / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова ; [предисл. Ю. А. Данилова] = Jatek es logika. 85 feladatban / G. Bizam, J. Herczeg. - М. : Мир, 1975. - 358 с. : рис. ; 20 см. - (в пер.) : 1.15 р.

УДК

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

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

Доп.точки доступа:
Герцег, Янош; Данилов, Ю. А. \пер., авт. предисл.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

18.

51
Л27

Латка, Франтішек.
Математичний мінілексикон [] / Франтішек Латка ; пер. зі словац. М. І. Панів, І.-П. П. Сироїд ; [ред. Л. І. Сідлович] = Minilexikon matematiky / Frantishek Latka. - Львів : Світ, 1990. - 104 с. : іл. - ISBN 5-11-000891-4 : 0.20 р.

УДК

517

ББК 22.1 + 22.161
Рубрики: Математика--Довідкові видання
фывфывфыв:
математика -- математичний аналіз -- математический анализ -- алгебра -- математична логіка -- математическая логика -- математичний лексікон -- математический лексикон
Аннотация: Довідник містить відомості з елементарної математики та основ математичного аналізу, а також початки алгебри та математичної логіки. Матеріал підібрано та викладено таким чином, щоб ним могло користуватися широке коло читатчів.

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

Доп.точки доступа:
Панів, М.І. \пер.\; Сироїд, І.-П. П. \пер.\; Сідлович, Л. І. \ред.\
Экземпляры всего: 3
ЧЗ (1), ФОНД (1), АБ (1)
Свободны: ЧЗ (1), ФОНД (1), АБ (1)
Найти похожие

19.

510
Э62

Энегелер, Эрвин.
Математика элементарной математики [] / Э. Энегелер ; пер. с нем. Г. Е. Минца ; под ред. А. О. Слисенко = Metamathematik der Elementarmathematik / E. Engeler. - М. : Мир, 1987. - 128 с. : рис. - Указ. имен: с. 123-124. - Предм. указ.: с. 125-126. - 0.50 р.

УДК

510

ББК 22.10
Рубрики: Математика--Елементарна математика--Навчальні видання для вищої школи
фывфывфыв:
математика -- элементарная математика -- континуум -- геометрия -- геометрія -- алгоритмика -- алгоритміка -- вещественные числа -- дійсні числа -- анализ -- аналіз -- пространство -- простір -- геометрические построения -- геометричні побудови -- вычислимость -- вичислимість -- комбинаторы -- комбінатори -- комбинаторная логика -- комбінаторна логіка -- математическая логика -- математична логіка -- аксиоматика геометрии -- аксіоматика геометрії -- алгоритм
Аннотация: Книга рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики.

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

Доп.точки доступа:
Минц, Г. Е. \пер.\; Слисенко, А. О. \ред.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

20.

51(035)
В62

Воднев, Владимир Трофимович.
Основные математические формулы [] / В. Т. Воднев, А. Ф. Наумович, Н. Ф. Наумович ; под ред. Ю. С. Богданова. - Минск : Вышэйшая школа, 1980. - 336 с. : рис., табл. - 0.90 р.

УДК

51(035)

ББК 22.1я2
Рубрики: Математика--Довідкові видання
фывфывфыв:
элементарная геометрия -- елементарна геометрія -- математический анализ -- математичний аналіз -- алгебра -- уравнения -- рівняння -- неравенства -- нерівності -- аналитическая геометрия -- аналітична геометрія -- высшая алгебра -- вища алгебра -- дифференциальное исчисление -- диференціальне обчислення -- дифференциальная геометрия -- диференціальна геометрія -- интегральное исчисление -- інтегральне обчислення -- теория поля -- теорія поля -- дифференциальные уравнения -- диференціальні рівняння -- математическая логика -- математична логіка -- теория вероятностей -- теорія ймовірностей -- математическая статистика -- математична статистика -- геометрия -- геометрія -- комплексные числа -- комплексні числа -- планиметрия -- стереометрия -- стереометрія
Аннотация: В справочнике собраны основные формулы из начальных разделов математики, дифференциального и интегрального исчислений, аналитической и дифференциальной геометрии, линейной алгебры, векторного анализа, теории дифференциальных уравнений, математической логики, теории вероятностей и математической статистики.

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

Доп.точки доступа:
Наумович, Адольф Федорович; Наумович, Нил Федорович; Богданов, Ю. С. \ред.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

21.

51(03)
М18

Малая математическая энциклопедия [] / Э. Фрид и др. ; [пер. с венг. Я. Кочиш, М. Соколов ; ред. пер. Ю. Н. Благовещенский, Б. Кочиш] = Matematikai kisenciklopedia / Fried E. es masok. - Будапешт : Изд-во АН Венгрии, 1976. - 696 с. : рис. - Прил.: с. 667-693. - ISBN 963-05-0844-3 : 3.60 р.

УДК

51(03)

ББК 22.1я2
Рубрики: Математика--Енциклопедії--Довідкові видання
фывфывфыв:
алгебра -- теория чисел -- теорія чисел -- геометрия -- геометрія -- математический анализ -- математичний аналіз -- теория множеств -- теорія множин -- теория вероятности -- теорія ймовірності -- математическая статистика -- математична статистика -- математическая логика -- математична логіка -- математические энциклопедии -- математичні енциклопедії -- энциклопедии (математика) -- енциклопедії (математика)
Аннотация: Малая математическая энциклопедия охватывает такие важнейшие разделы математики как алгебра, теория чисел, геометрия, математический анализ, теория множеств, теория вероятности, математическая логика.

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

Доп.точки доступа:
Фрид, Эрвин; Пастор, Иштван; Рейман, Иштван; Ревес, Пал; Кочиш, Я. \пер.\; Соколов, М. \пер.\; Благовещенский, Ю. Н. \ред.\; Кочиш, Б. \ред.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

22.

51(091)
М34

Математика XIX века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей [] / [И. Г. Башмакова и др.] ; под ред.: А. Н. Колмогорова, А. П. Юшкевича ; Акад. наук СССР, Ин-т истории естествознания и техники. - М. : Наука, 1978. - 255 с. : ил. - Лит.: с. 241-248. - Сокр.: с. 248. - Указ. имен: с. 249-255. - 2.10 р.

УДК

51(091)

ББК 22.1г
Рубрики: Математика--Історія, 19 ст.--Наукові видання
фывфывфыв:
история математики -- історія математики -- математическая логика -- математична логіка -- алгебра -- теория чисел -- теорія чисел -- теория вероятностей -- теорія ймовірностей
Аннотация: [Рассматривается развитие математики не только как процесс создания все более совершенных понятий и приемов для изучения пространственных форм и количественных отношений действительного мира, но и как социальный процесс].

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

Доп.точки доступа:
Башмакова, Изабелла Григорьевна; Гнеденко, Борис Владимирович; Кузичева, З. А.; Медведев, Ф. А.; Колмогоров, Андрей Николаевич \ред.\; Юшкевич , Адольф Павлович \ред.\; Академия наук СССР. Институт истории естествознания и техники
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

23.

373.5.016:51
Ш84

Шпорер, Златко.
Ох, эта математика! [] = Uh, ta matematika! / З. Шпорер ; [пер. с хорв.-серб. Д. П. Мансфельда ; ред. пер., авт. предисл. Д. С. Апокорин ; худож. В. И. Шкарбан]. - 2-е изд., испр. - М. : Педагогика, 1985. - 128 с. : ил. - 0.35 р.

УДК

373.5.016:51

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

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

Доп.точки доступа:
Мансфельд, Д. П. \пер.\; Апокорин, Д. С. \ред., авт. предисл.\; Шкарбан, В. И. \худож.\
Экземпляры всего: 2
ЧЗ (1), АБ (1)
Свободны: ЧЗ (1), АБ (1)
Найти похожие

24.

51(075)
К95

Кухар, Валентина Мефодіївна.
Теоретичні основи початкового курсу математики [] : навч. посіб. для учнів пед. училищ / В. М. Кухар, Б. М. Білий. - К. : Вища шк., 1980. - 360 с. : рис., табл., граф. - Лит.: с. 356. - 0.85 р.

УДК

51(075)

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

фывфывфыв:
викладання математики -- преподавание математики -- числа -- математическая логика -- математична логіка -- уравнения -- рівняння -- неравенства -- нерівності -- функции -- функції -- теорія множин -- теория множеств -- вимірювання величин -- измерение величин
Аннотация: Висвітлено питання розвитку вчення про число на теоретико-множинній основі. В історичному плані розглянуто застосування математичної логіки до побудови вчення про рівняння і нерівності, функції та ін.

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

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

25.

51(075)
Н64

Никольская, Инна Львовна.
Учимся рассуждать и доказывать [] : кн. для учащихся 6-10 кл. сред. школы / И. Л. Никольская, Е. Е. Семенов. - М. : Просвещение, 1989. - 192 с. : ил. - 1.00 р.

УДК

51(075)

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

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

Доп.точки доступа:
Семенов, Ефим Евстафьевич
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

26.

51(075)
Н16

Нагибин, Федор Федорович.
Математическая шкатулка [] : пособие для учащихся 4-8 кл. сред. школы / Ф. Ф. Нагибин, Е. С. Канин. - 5-е изд. - М. : Просвещение, 1988. - 160 с. : ил. - 0.75 р.

УДК

51(075)

27.

74.200.585.01
К63

Комский, Давид Матвеевич.
Кружок технической кибернетики [] : пособие для рук. кружков / Д. М. Комский. - М. : Просвещение, 1991. - 192 с. : табл. - Лит.: с. 191-192. - ISBN 5-09-002662-9 : 3.85 р.

ББК 74.200.585.01
Рубрики: Учнівські гуртки--Навчальні видання

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

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

28.

373.5.016:51
В58

Власенко, Олександр Іванович.
Методика викладання математики. Загальні питання [] : навч. посібник для студ. фізико-математ. факультетів пед. ін-тів / О. І. Власенко. - К. : Вища шк., 1974. - 208 с. : мал., табл. - Дод.: с. 198-199. - Л-ра: с. 200-204. - 0.40 р.

УДК

373.5.016:51

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

фывфывфыв:
методика математики -- математична освіта -- математическое образование -- методи навчання математики -- методы обучения математике -- методика формування математичних понять -- методика формирования математических понятий -- методика вивчення теорем -- методика изучения теорем -- математичні задачі -- математические задачи -- розв'язування математичних задач -- решение математических задач -- математична логіка -- математичская логика -- засоби навчання математики -- средства обучения математике -- урок з математики -- урок по математике -- позакласна робота зматематики -- внеклассная работа по математике
Аннотация: У посібнику висвітлено загальні питання методики викладання математики в загальноосвітніх школах.

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

29.

51(075)
Б25

Барковський, Віктор Володимирович.
Вища математика для економістів [] : навч. посібник для студ. екон. спец. / В. В. Барковський, Н. В. Барковська. - 3-тє вид., переробл. и допов. - К. : ЦУЛ, 2002. - 400 с. : рис. - Дод.: с. 360-400. - ISBN 966-7938-42-5 : 27.60 грн

УДК

51(075)

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

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

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

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

30.

519.854
К82

Кривий, Сергій Лук'янович.
Дискретна математика. Вибрані питання [] : навч. посібник / С. Л. Кривий ; М-во освіти і науки України, Ін-т кіберн. ім. В. М. Глушкова НАН України, Хмельн. нац. ун-т. - К. : Києво-Могил. акад., 2007. - 570, [2] с. : рис., табл. - Бібліогр.: с. 550-564. - ISBN 978-966-518-432-4 : 35.00 грн

УДК

519.854

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

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

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

Доп.точки доступа:
Міністерство освіти і науки України; Інститут кібернетики імені В. М. Глушкова НАН України; Хмельницький національний університет
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

1-30 31-37

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)