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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

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

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

1-20 21-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)
Знайти схожі

51(075)
Б25

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

УДК

51(075)

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

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

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

Дод.точки доступу:
Барковська, Ніна Володимирівна
Примірників всього: 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)
Б 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
Б59

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

УДК

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

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

Дод.точки доступу:
Герцег, Янош; Данилов, Ю. А. \пер., авт. предисл.\
Примірників всього: 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)
Знайти схожі

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)
Знайти схожі

51(035)
В62

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

УДК

51(035)

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

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

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

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)
Знайти схожі

10.

510.6(075)
К60

Колмогоров, Андрей Николаевич.
Введение в математическую логику [] : учеб. пособие для мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1982. - 120 с. : ил. - Лит.: с. 120. - 0.25 р.

УДК

510.6(075)

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

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

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

11.

74.200.585.01
К63

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

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

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

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

12.

16(038.035)
К64

Кондаков, Николай Иванович.
Логический словарь-справочник [Текст] / Н. И. Кондаков ; [отв. ред. Д. П. Горский] ; Акад. наук СССР, Ин-т философии. - 2-е изд., испр. и доп. - Москва : Наука, 1975. - 720 с. - Указ. имен: с. 718-720. - 006.60 р.

УДК

16(038.035)

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

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

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

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

13.

004(075)
К 82

Криушин, Василий Николаевич.
Технические средства АСУ [] : учебник / В. Н. Криушин, И. А. Командровская, Н. Г. Черняк. - М. : Высш. шк., 1982. - 200 с. : рис., табл. - Лит.: с. 200. - 0.45 р.

УДК

004(075)

ББК 32.973
Рубрики: Автоматизовані системи уаправління--Пристрої--Навчальні видання
Обробка даних--Використання--Навчальні видання

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

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

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

14.

51(075)
К95

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

УДК

51(075)

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

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

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

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

15.

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)
Знайти схожі

16.

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)
Знайти схожі

17.

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)
Знайти схожі

18.

519.7
М 31

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

УДК

519.7

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

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

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

19.

519.854(075.8)
М33

Матвієнко, Микола Павлович.
Дискретна математика XXI століття [] : навч. посібник / М. П. Матвієнко ; М-во освіти і науки, молоді та спорту України. - К. : Ліра-К, 2014. - 347, [1] с. : рис., табл. - Л-ра: с. 342-344. - ISBN 978-966-2609-32-5 : 160.00 грн

УДК

519.854(075.8)

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

Кл.слова (ненормовані):
теорія множин -- теория множеств -- теорія відношень -- теория отношений -- елементи теорії чисел -- элементы теории чисел -- комбінаторика -- комбинаторика -- алгебраїчні структури -- алгебраические структуры -- логіка Буля -- логика Буля -- логіка Жегалкіна -- логика Жегалкина -- математична логіка -- математическая логика -- нечітка логіка -- нечеткая логика -- теорія графів -- теория графов -- алгоритми на графах -- алгоритмы на графах -- основи теорії кодування -- основы теории кодирования -- теорія автоматів -- теория автоматов
Анотація: Викладено основні поняття дискретної математики згідно галузевого стандарту вищої освіти України по комп'ютерних та інших науках.

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

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

20.

51(091)
М34

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

УДК

51(091)

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

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

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

1-20 21-33

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