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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

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

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

1-20 21-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
Предметні рубрики: Вища математика-- Теорія
Географіч. рубрики:
Анотація: Теоретичні і практичні складові курсу вищої математики.
Примірники : всього : ЧЗ(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
Предметні рубрики: Дискретна математика
Географіч. рубрики:
Анотація: Поняття і наукові результати теорій множин, математичної логіки, відношень, алгоритмів, алгебр, комбінаторики, графів. Матеріал ілюстровано численними прикладами.
Примірники : всього : ВВ(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)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 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
Предметні рубрики: Дискретна математика
Географіч. рубрики:
Анотація: Викладено елементарні питання теорії множин, логіки, комбінаторіки та систем числення.
Примірники : всього : ФОНД(1), ЧЗ(1)
Вільні : ФОНД(1), ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 73я2/Ш85
Автор(и) : Шрайберг, Яков Леонидович, Гончаров М. В.
Назва : Справочное руководство по основам информатики и вычислительной техники
Вихідні дані : М.: Финансы и статистика; М.: Соваминко; М.: Компьютер Пресс, 1990
Кільк.характеристики :32 с.: табл., рис.
Примітки : Лит.: с. 32
ISBN, Ціна 5-279-00476-6: 4.00 грн
ББК : 73я2 + 32.97я2
Предметні рубрики: Інформатика
Географіч. рубрики:
Анотація: Представлены основные сведения, опорные определения и понятия, относящиеся к основам информатики и вычислительной техники (ОИВТ).
Примірники :ВНБТ(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)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 51(075)/М 69
Автор(и) : Михайленко, Віктор Мефодійович, Федоренко Н. Д.
Назва : Спеціальні розділи математики : навч. посібник
Вихідні дані : К.: Вища школа, 1992
Кільк.характеристики :214 с.: іл.
ISBN, Ціна 5-11-003602-0: 6.00 крб
УДК : 51(075)
ББК : 22.1я73
Предметні рубрики: Математика
Географіч. рубрики:
Анотація: Теоретичні основи спеціальних розділів математики, які забезпечують побудову математичних моделей процесів автоматичного проектування.
Примірники : всього : ФОНД(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)
Знайти схожі

Форма документа : Багатотомне видання
Шифр видання : 51(075.8)/О 35
Автор(и) : Овчинников, Петро Пилипович, Яремчук Ф. П., Михайленко В. Н.
Назва : Вища математика: підручник : у 2 ч./ за заг. ред. П. П. Овчинникова. - 2-ге вид., стер. Ч. 1: Лінійна і векторна алгебра. Аналітична геометрія. Вступ до математичного аналізу. Диференціальне і інтегральне числення
Вихідні дані : К.: Техніка, 2000 - 2000
ISBN, Ціна 966-575-078-X: 20.00, 18.90, грн
УДК : 51(075.8)
ББК : 22.11я73
Предметні рубрики: Вища математика
Географіч. рубрики:
Анотація: Особливість підручника - в узагальненому підході до формулювання і доведення основних методів аналітичної геометрії, лінійної алгебри і математичного аналізу.
Примірники : всього : ФОНД(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) - один из основателей неоклассических логик, выдвинувший и обосновавший идею возможности логики без законов противоречия и исключенного третьего. Помиио ранее опубликованных работ в книгу включены малоизвестные рукописи ученого, а также прижизненные рецензии на его труды. Дан библиографический очерк.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

11.

Форма документа : Однотомне видання
Шифр видання : 519.7/М 31
Автор(и) : Маслов, Сергей Юрьевич
Назва : Теория дедуктивных систем и ее применение
Вихідні дані : М.: Радио и связь, 1986
Кільк.характеристики :136 с.: рис.
Серія: Кибернетика
Примітки : Лит.: с. 129-131
Ціна : 0.45 р.
УДК : 519.7
ББК : 32.81
Предметні рубрики: Кібернетика
Географіч. рубрики:
Анотація: Излагается математический аппарат теории исчислений.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

12.

Форма документа : Багатотомне видання
Шифр видання : 007/О-75
Автор(и) : Галушкин А. И., Дегтярев Ю. И., Калинин Б. Н., Костюк Г. А.
Назва : Основы кибернетики: учеб. пособие/ под ред. К. А. Пупкова. Математические основы кибернетики
Вихідні дані : М.: Высш. шк., 1974 -
Кільк.характеристики :413 с.: рис., табл.
Примітки : Лит.: с. 405-406. - Алф. указ.: с. 407-411
Ціна : 0.88 р.
УДК : 007
ББК : 32.81я73
Предметні рубрики: Кібернетика
Географіч. рубрики:
Анотація: Изложен математический аппарат, используемый при построении моделей кибернетических систем и изучении их поведения на основе исследования этих систем.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

13.

Форма документа : Однотомне видання
Шифр видання : 517(075.3)/М79
Автор(и) : Мордкович, Александр Григорьевич, Солодовников А. С.
Назва : Математический анализ : учебник
Вихідні дані : М.: Высш. шк., 1990
Кільк.характеристики :416 с.: рис.
Примітки : Предм. указ.: с. 410-416
ISBN, Ціна 5-06-001008-2: 1.30 р.
УДК : 517(075.3)
ББК : 22.161я723
Предметні рубрики: Математичний аналіз
Географіч. рубрики:
Анотація: Написан в соответствии с программой курса "Математический анализ" для техникумов по специальности "Прикладная математика".
Примірники : всього : ФОНД(1), АБ(1), ЧЗ(1), ВВ(1)
Вільні : ФОНД(1), АБ(1), ЧЗ(1), ВВ(1)
Знайти схожі

14.

Форма документа : Багатотомне видання
Шифр видання : 517/Х20
Автор(и) : Харік, Олена Юхимівна
Назва : Елементи математичного аналізу для школярів/ О. Ю. Харік, Ю. В. Єременко. - (Бібліотека журналу "Математика в школах України"; Вип. 10 (106)). Ч. 1
Вихідні дані : : Основа Б.м., 2011 - 2011
Кільк.характеристики :112 с.: рис.
ISBN, Ціна 978-617-00-1144-2: 5.00 грн
УДК : 517
ББК : 22.161
Предметні рубрики: Математичний аналіз
Географіч. рубрики:
Анотація: Теоретичний матеріал та система вправ з початків аналізу.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

15.

Форма документа : Однотомне видання
Шифр видання : 811.161.1:004=162/Р88-395481
Автор(и) : Журавлев, Алексей Иванович, Артюхов, Анатолий Петрович, Заморин, Анатолий Петрович, Марков А. С.
Назва : Русско-чешский словарь по вычислительной технике : ок. 30000 терминов и терминологических сочетаний
Паралельн. назви :Rusko-cesky slovnik vypocetni techniky
Вихідні дані : М.: Русский язык; Прага: СНТЛ - Изд-во техн. лит., 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)
Знайти схожі

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

17.

Форма документа : Однотомне видання
Шифр видання : 51/Б59
Автор(и) : Бизам, Дьердь, Герцег, Янош
Назва : Игра и логика. 85 логич. задач
Паралельн. назви :Jatek es logika. 85 feladatban/ G. Bizam, J. Herczeg
Вихідні дані : М.: Мир, 1975
Кільк.характеристики :358 с.: рис.; 20 см
Ціна : 1.15 р.
УДК : 51 + 16
ББК : 22.12 + 87.4
Предметні рубрики: Математика-- Логіка
Ключові слова (''Вільн.індекс.''): математическая логика--математична логіка--игра (логика)--гра (логіка)--логика (задачи)--логіка (завдачі)--занимательная математика--цікава математика--логические задачи--логічні задачі
Анотація: Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить и решать задачи, "думая, но не вычисляя".
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

18.

Форма документа : Однотомне видання
Шифр видання : 51/Л27
Автор(и) : Латка, Франтішек
Назва : Математичний мінілексикон
Паралельн. назви :Minilexikon matematiky/ Frantishek Latka
Вихідні дані : Львів: Світ, 1990
Кільк.характеристики :104 с.: іл
ISBN, Ціна 5-11-000891-4: 0.20 р.
УДК : 51 + 517
ББК : 22.1 + 22.161
Предметні рубрики: Математика
Ключові слова (''Вільн.індекс.''): математика--математичний аналіз--математический анализ--алгебра--математична логіка--математическая логика--математичний лексікон--математический лексикон
Анотація: Довідник містить відомості з елементарної математики та основ математичного аналізу, а також початки алгебри та математичної логіки. Матеріал підібрано та викладено таким чином, щоб ним могло користуватися широке коло читатчів.
Примірники : всього : ЧЗ(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)
Знайти схожі

20.

Форма документа : Однотомне видання
Шифр видання : 51(035)/В62
Автор(и) : Воднев, Владимир Трофимович, Наумович, Адольф Федорович, Наумович, Нил Федорович
Назва : Основные математические формулы
Вихідні дані : Минск: Вышэйшая школа, 1980
Кільк.характеристики :336 с.: рис., табл.
Ціна : 0.90 р.
УДК : 51(035)
ББК : 22.1я2
Предметні рубрики: Математика
Ключові слова (''Вільн.індекс.''): элементарная геометрия--елементарна геометрія--математический анализ--математичний аналіз--алгебра--уравнения--рівняння--неравенства--нерівності--аналитическая геометрия--аналітична геометрія--высшая алгебра--вища алгебра--дифференциальное исчисление--диференціальне обчислення--дифференциальная геометрия--диференціальна геометрія--интегральное исчисление--інтегральне обчислення--теория поля--теорія поля--дифференциальные уравнения--диференціальні рівняння--математическая логика--математична логіка--теория вероятностей--теорія ймовірностей--математическая статистика--математична статистика--геометрия--геометрія--комплексные числа--комплексні числа--планиметрия--стереометрия--стереометрія
Анотація: В справочнике собраны основные формулы из начальных разделов математики, дифференциального и интегрального исчислений, аналитической и дифференциальной геометрии, линейной алгебры, векторного анализа, теории дифференциальных уравнений, математической логики, теории вероятностей и математической статистики.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

1-20 21-37

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