Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


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

Вид пошуку

Зона пошуку
у знайденому
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=математична логіка<.>
Загальна кількість знайдених документів : 37
Показані документи с 1 за 20
 1-20    21-37 
1.
512:517](075.32)
А45


    Алгебра і початки аналізу [Текст] : підручник / М. І. Каченовський [та ін.]. - Київ : Вища шк., 1979 - . - (Математика для техникумів).
   Ч. 1 / за ред. Г. М. Яковлєва. - 1979. - 310 с. - 0.60 р.
УДК
ББК 22.14я72 + 22.16я72
Рубрики: Алгебра--Навчальні видання
   
Кл.слова (ненормовані):
обчислювальна математика -- теорія множини -- математична логіка -- логічні операції -- теореми -- раціональні числа -- дійсні числа -- функції -- послідовності -- границі -- похідна -- тригонометрія -- тригонометричні рівняння -- тригонометричні рівняння
Анотація: Викладено теоретичний матеріал курсу "Алгебра і початки аналізу. Наведені приклади розв'язування задач, а також задачі для самостійного розв'язку.

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

Дод.точки доступу:
Каченовський, М. І.; Колягін, Ю. М.; Луканкін, Г. Л.; Яковлєв, Г. М.; Яковлєв, Г. М. \ред.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

2.
519.854(075.8)
Б24


    Бардачов, Юрій Миколайович.
    Дискретна математика [] : підручник / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков ; ред. В. Є. Ходаков. - Київ : Вища школа, 2002. - 288 с. : рис., табл. - Бібліогр. в кінці глав. - ISBN 966-642-090-2 : 18.70 грн, 20.50 грн, 20.00 грн
УДК
ББК 22.174я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
математична логіка -- математическая логика -- алгоритми -- алгоритмы -- алгебричні системи -- алгебраические системы -- теорія множин -- теория множеств -- формальні системи -- формальные системы -- комбінаторика -- комбинаторика -- булеві функції -- булевые функции -- відношення еквівалентності -- отношния эквивалентности -- відношення порядку -- отношения порядка -- алгебри -- алгебры -- теорія графів -- теория графов -- графи -- графы -- рекурсивні функції -- рекурсивные функции
Анотація: Поняття і наукові результати теорій множин, математичної логіки, відношень, алгоритмів, алгебр, комбінаторики, графів. Матеріал ілюстровано численними прикладами.

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

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

3.
51(075)
Б25


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

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

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

4.
51(075.8)
Б 25


    Барковський, Віктор Володимирович.
    Вища математика для економістів [] : навч. посібник / В. В. Барковський, Н. В. Барковська. - Вид. 4-те, переробл. та допов. - К. : Центр навч. л-ри, 2005. - 445 с. - Дод.: с. 400-417. - Відп. до вправ: с. 418-443. - Слов. ключ. слів: с. 418-445. - ISBN 966-364-120-7 : 28.60 грн
УДК
ББК 22.11я73
Рубрики: Вища математика--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
математична логіка -- математическая логика -- початки алгебри -- начала алгебры -- прогресії -- прогрессии -- математика фінансів -- математика финансов -- матриці -- матрицы -- визначники -- определители -- лінійні алгебраїчні рівняння -- линейные алгебраические уравнения -- векторна алгебра -- векторная алгебра -- аналітична геометрія -- аналитическая геометрия -- математичний аналіз -- математический анализ -- диференціальне числення функцій -- дифференциальное исчисление функций -- функціїї кількох змінних -- функции нескольких переменных -- інтегрування -- интегрирование -- інтеграли -- интегралы -- диференціальні рівняння -- дифференциальные уравнения -- числові ряди -- числовые ряды -- степеневі ряди -- степенные ряды
Анотація: Розміщено теоретичні відомості традиційних розділів курсу вищої математики, а також основні поняття математичної логіки, комбінаторики, теорії графів, опуклих множин, різницевих рівнянь, математики в фінансах та обліку.

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

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

5.
51(075.8)
Б 25


    Барковський, Віктор Володимирович.
    Вища математика для економістів [] : навч. посібник / В. В. Барковський, Н. В. Барковська. - 5-те вид. - К. : Центр учбов. л-ри, 2010. - 448 с. : мал. - Дод.: с. 400-417. - Відп. до вправ: с. 418-443. - Слов. ключ. слів: с. 444-445. - ISBN 978-966-364-991-7 : 89.00 грн
УДК
ББК 22.11я73
Рубрики: Вища математика--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
початок алгебри -- начало алгебры -- прогресії -- прогресии -- математика фінансів -- математика финансов -- матриці -- матрицы -- визначники -- определители -- лінійні алгебраїчні рівняння -- линейные алгебраические уравнения -- векторна алгебра -- векторная алгебра -- аналітична геометрія -- аналитическая геометрия -- математичний аналіз -- математический анализ -- диференціальне числення -- дифференциальное исчисление -- функціїї кількох змінних -- функции нескольких переменных -- інтегрування -- интегрирование -- визначені інтеграли -- определенные интегралы -- невласні інтеграли -- несобственные интегралы -- звичайні диференціальні рівняння -- обычные дифференциальные уравнения -- числові ряди -- числовые ряды -- степеневі ряди -- степенные ряды -- математична логіка -- математическая логика -- комбінаторика -- комбинаторика -- теорії графів -- теории графов
Анотація: Теоретичні відомості всіх традиційних розділів курсу вищої математики, а також основні поняття математичної логіки, комбінаторики, теорії графів, математики в фінансах та обліку.

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

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

6.
51
Б59


    Бизам, Дьердь.
    Игра и логика. 85 логич. задач [] / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова ; [предисл. Ю. А. Данилова] = Jatek es logika. 85 feladatban / G. Bizam, J. Herczeg. - М. : Мир, 1975. - 358 с. : рис. ; 20 см. - (в пер.) : 1.15 р.
УДК
ББК 22.12 + 87.4
Рубрики: Математика--Логіка--Популярні видання
Кл.слова (ненормовані):
математическая логика -- математична логіка -- игра (логика) -- гра (логіка) -- логика (задачи) -- логіка (завдачі) -- занимательная математика -- цікава математика -- логические задачи -- логічні задачі
Анотація: Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить и решать задачи, "думая, но не вычисляя".

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

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

7.
519.854(075.8)
Б 82


    Борисенко, Олексій Андрійович.
    Дискретна математика [] : підручник / О. А. Борисенко . - Суми : Унів. кн., 2008. - 256 с. : табл., рис. - Дод.: с. 240-252. - Л-ра: с. 253-254. - ISBN 978-966-680-376-7 : 031.00 грн, 035.00 грн
УДК
ББК 22.174я73
Рубрики: Дискретна математика--Навчальні видання
   
Кл.слова (ненормовані):
множини -- множества -- математична логіка -- математическая логика -- комбінаторика -- комбинаторіка -- системи числення -- системы исчисления
Анотація: Викладено елементарні питання теорії множин, логіки, комбінаторіки та систем числення.

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

8.
16(09)
В 19


    Васильев, Николай Александрович.
    Воображаемая логика. Избранные труды [] / Н. А. Васильев ; [отв. ред. В. А. Смирнов] ; Акад. наук СССР, Ин-т философии. - М. : Наука, 1989. - 264 с. : граф. - Библиогр. в подстрочном примеч. - Прил.: с. 171-259. - Библиогр.: с. 260-263. - ISBN 5-02-007946-4 : 1.60 р.
УДК
ББК 87.4
Рубрики: Логіка--Наукові видання
   
Кл.слова (ненормовані):
уявна (неаристотелева логіка) -- воображаемая (неаристотелева логика) -- трикутник протилежностей -- треугольник противоположностей -- приватні судження -- частные суждения -- металогіка -- металогика -- математична логіка -- математическая логика
Анотація: Н. А. Васильев (1880-1940) - один из основателей неоклассических логик, выдвинувший и обосновавший идею возможности логики без законов противоречия и исключенного третьего. Помиио ранее опубликованных работ в книгу включены малоизвестные рукописи ученого, а также прижизненные рецензии на его труды. Дан библиографический очерк.

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

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

9.
51(075.8)
В55


   
    Вища математика [] : навч. посібник / Ф. М. Лиман [та ін.] ; за заг. ред. Ф. М. Лимана. - Суми : Унів. кн., 2006. - 614с. : рис. - Предм. покажч.: с. 606-614. - Літ.: с.: 604-605. - ISBN 966-680-230-9 : 50.00 грн, 57.50 грн
УДК
ББК 22.11я73
Рубрики: Вища математика--Теорія--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
інтеграли -- ряди -- координати -- сфера -- теорія множин -- математична логіка -- лінійна алгебра -- векторна алгебра -- матриці -- вектори -- аналітична геометрія -- комплексні числа -- многочлени -- раціональні дроби -- математичні функції -- границі функцій -- неперервність функцій -- диференціальне числення -- функції однієї змінної -- невизначений інтеграл -- визначений інтеграл -- функції багатьох змінних -- інтегральне числення -- диференціальні рівняння -- теорія ймовірностей -- математична статистика
Анотація: Теоретичні і практичні складові курсу вищої математики.

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

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

10.
373.5.016:51
В58


    Власенко, Олександр Іванович.
    Методика викладання математики. Загальні питання [] : навч. посібник для студ. фізико-математ. факультетів пед. ін-тів / О. І. Власенко. - К. : Вища шк., 1974. - 208 с. : мал., табл. - Дод.: с. 198-199. - Л-ра: с. 200-204. - 0.40 р.
УДК
ББК 74.262.21
Рубрики: Математика--Методика викладання--Загальноосвітні школи--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
методика математики -- математична освіта -- математическое образование -- методи навчання математики -- методы обучения математике -- методика формування математичних понять -- методика формирования математических понятий -- методика вивчення теорем -- методика изучения теорем -- математичні задачі -- математические задачи -- розв'язування математичних задач -- решение математических задач -- математична логіка -- математичская логика -- засоби навчання математики -- средства обучения математике -- урок з математики -- урок по математике -- позакласна робота зматематики -- внеклассная работа по математике
Анотація: У посібнику висвітлено загальні питання методики викладання математики в загальноосвітніх школах.

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

11.
51(035)
В62


    Воднев, Владимир Трофимович.
    Основные математические формулы [] / В. Т. Воднев, А. Ф. Наумович, Н. Ф. Наумович ; под ред. Ю. С. Богданова. - Минск : Вышэйшая школа, 1980. - 336 с. : рис., табл. - 0.90 р.
УДК
ББК 22.1я2
Рубрики: Математика--Довідкові видання
Кл.слова (ненормовані):
элементарная геометрия -- елементарна геометрія -- математический анализ -- математичний аналіз -- алгебра -- уравнения -- рівняння -- неравенства -- нерівності -- аналитическая геометрия -- аналітична геометрія -- высшая алгебра -- вища алгебра -- дифференциальное исчисление -- диференціальне обчислення -- дифференциальная геометрия -- диференціальна геометрія -- интегральное исчисление -- інтегральне обчислення -- теория поля -- теорія поля -- дифференциальные уравнения -- диференціальні рівняння -- математическая логика -- математична логіка -- теория вероятностей -- теорія ймовірностей -- математическая статистика -- математична статистика -- геометрия -- геометрія -- комплексные числа -- комплексні числа -- планиметрия -- стереометрия -- стереометрія
Анотація: В справочнике собраны основные формулы из начальных разделов математики, дифференциального и интегрального исчислений, аналитической и дифференциальной геометрии, линейной алгебры, векторного анализа, теории дифференциальных уравнений, математической логики, теории вероятностей и математической статистики.

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

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

12.
16(075.8)
Ж59


    Жеребкін, Василь Євсійович.
    Логіка [] : підручник / В. Є. Жеребкін. - 11-те вид., випр. - К. : Знання, 2011. - 262, [2] с. : рис. - Бібліогр. в підрядковій прим. - ISBN 978-966-620-274-4 : 54.00 грн
УДК
ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
логіка -- логика -- поняття мислення -- понятие мышления -- форми мислення -- формы мышления -- мова логіки -- речь логики -- математична логіка -- математическая логика -- поняття -- понятие -- судження -- суждение -- складні судження -- сложные суждения -- закони логіки -- законы логики -- умовивід -- умозаключение -- дедуктивні умовиводи -- дедуктивные умозаключения -- індуктивні умовиводи -- индуктивные умозаключения -- аналогія -- аналогия -- поняття доведення -- понятие доказательства -- гіпотеза -- гипотеза -- спростування -- опровержение -- закон тотожності -- закон тождества -- закон суперечності -- закон противоречия -- наукова індукція -- научная индукция
Анотація: Один із базових підручників з логіки для студентів юридичних спеціальностей. Найважливіші переваги підручника: чітка побудова матеріалу; автору вдалося навіть найскладніші розділи подати доступно і зрозуміло; теоретичний матеріал органічно поєднується з практикою судового пізнання, особливостями правового дослідження.

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

13.
74.200.585.01
К63


    Комский, Давид Матвеевич.
    Кружок технической кибернетики [] : пособие для рук. кружков / Д. М. Комский. - М. : Просвещение, 1991. - 192 с. : табл. - Лит.: с. 191-192. - ISBN 5-09-002662-9 : 3.85 р.
ББК 74.200.585.01
Рубрики: Учнівські гуртки--Навчальні видання
   
Кл.слова (ненормовані):
технічні гуртки -- технические кружки -- кружок технической кибернетики -- гурток технічної кібернетики -- планирование работы кружка -- планування роботи гуртка -- кібернетика -- кибернетика -- математична логіка -- математическая логика
Анотація: Вопросы планирования, методики проведения занятий и материально-технического обеспечения кружков технической кибернетики.

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

14.
16(038.035)
К64


    Кондаков, Николай Иванович.
    Логический словарь-справочник [Текст] / Н. И. Кондаков ; [отв. ред. Д. П. Горский] ; Акад. наук СССР, Ин-т философии. - 2-е изд., испр. и доп. - Москва : Наука, 1975. - 720 с. - Указ. имен: с. 718-720. - 006.60 р.
УДК
ББК 87.4я2
Рубрики: Логіка--Словники--Довідкові видання
   
Кл.слова (ненормовані):
классическая логика -- класична логіка -- математическая логика -- математична логіка -- практика мышления -- практика мислення -- история логики -- історія логіки -- биографические очерки -- біографічні нариси -- применения логики -- застосування логіки
Анотація: Словарь содержит основные понятия и категории классической и математической (символической) логик, рассказывается о применении их в повседневной практике мышления, в процессе самообразования и учебных занятий, в спорах и дискуссиях, в научно-исследовательской деятельности, в электронно-вычислительной практике.

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

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

15.
519.854
К82


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

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

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

16.
004(075)
К 82


    Криушин, Василий Николаевич.
    Технические средства АСУ [] : учебник / В. Н. Криушин, И. А. Командровская, Н. Г. Черняк. - М. : Высш. шк., 1982. - 200 с. : рис., табл. - Лит.: с. 200. - 0.45 р.
УДК
ББК 32.973
Рубрики: Автоматизовані системи уаправління--Пристрої--Навчальні видання
   Обробка даних--Використання--Навчальні видання

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

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

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

17.
51(075)
К95


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

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

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

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

18.
51
Л27


    Латка, Франтішек.
    Математичний мінілексикон [] / Франтішек Латка ; пер. зі словац. М. І. Панів, І.-П. П. Сироїд ; [ред. Л. І. Сідлович] = Minilexikon matematiky / Frantishek Latka. - Львів : Світ, 1990. - 104 с. : іл. - ISBN 5-11-000891-4 : 0.20 р.
УДК
ББК 22.1 + 22.161
Рубрики: Математика--Довідкові видання
Кл.слова (ненормовані):
математика -- математичний аналіз -- математический анализ -- алгебра -- математична логіка -- математическая логика -- математичний лексікон -- математический лексикон
Анотація: Довідник містить відомості з елементарної математики та основ математичного аналізу, а також початки алгебри та математичної логіки. Матеріал підібрано та викладено таким чином, щоб ним могло користуватися широке коло читатчів.

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

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

19.
51(03)
М18


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

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

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

20.
519.7
М 31


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

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

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