Б24 Бардачов, Юрій Миколайович. Дискретна математика [] : підручник / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков ; ред. В. Є. Ходаков. - Київ : Вища школа, 2002. - 288 с. : рис., табл. - Бібліогр. в кінці глав. - ISBN 966-642-090-2 : 18.70 грн, 20.50 грн, 20.00 грн
Рубрики: Дискретна математика--Навчальні видання для вищої школи фывфывфыв: математична логіка -- математическая логика -- алгоритми -- алгоритмы -- алгебричні системи -- алгебраические системы -- теорія множин -- теория множеств -- формальні системи -- формальные системы -- комбінаторика -- комбинаторика -- булеві функції -- булевые функции -- відношення еквівалентності -- отношния эквивалентности -- відношення порядку -- отношения порядка -- алгебри -- алгебры -- теорія графів -- теория графов -- графи -- графы -- рекурсивні функції -- рекурсивные функции Аннотация: Поняття і наукові результати теорій множин, математичної логіки, відношень, алгоритмів, алгебр, комбінаторики, графів. Матеріал ілюстровано численними прикладами. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Соколова, Надія Андріївна; Ходаков, Віктор Єгорович; Ходаков, В.Є. \ред.\ Экземпляры всего: 5 ВВ (1), ФОНД (2), ЧЗ (2) Свободны: ВВ (1), ФОНД (2), ЧЗ (2) |
Т 76 Трохимчук, Ростислав Миколайович. Збірник задач і вправ з математичної логіки [] : навч. посіб. для студентів вищ. учб. закл. / Р. М. Трохимчук ; Міжрегіональна Академія Управління персоналом. - К. : Персонал, 2008. - 114 с. : табл. - Л-ра: с. 113. - ISBN 978-966-608-854-6 : 013.50 грн
Рубрики: Математика--Математична логіка--Навчальні видання для вищої школи фывфывфыв: математична логіка -- математическая логика -- задачі -- задачи -- логічні операції -- логические операции -- проблема розв'язності -- проблема разрешимости -- алгебра висловлень -- алгебра высказываний -- числення висловлень -- счисление высказываний -- теореми -- теоремы -- похідні правила виведення -- походные правила выведения -- логіка предикатів -- логика предикатов -- формули -- формулы -- рівносильність формул -- равносильность формул -- логічне слідування -- логическое следование -- формальна логіка -- формальная логика Аннотация: Збірник містить ретельно відібраний і систематизований набір відомих і оригинальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Міжрегіональна Академія Управління персоналом Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Б 82 Борисенко, Олексій Андрійович. Дискретна математика [] : підручник / О. А. Борисенко . - Суми : Унів. кн., 2008. - 256 с. : табл., рис. - Дод.: с. 240-252. - Л-ра: с. 253-254. - ISBN 978-966-680-376-7 : 031.00 грн, 035.00 грн
Рубрики: Дискретна математика--Навчальні видання фывфывфыв: множини -- множества -- математична логіка -- математическая логика -- комбінаторика -- комбинаторіка -- системи числення -- системы исчисления Аннотация: Викладено елементарні питання теорії множин, логіки, комбінаторіки та систем числення. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 2 ФОНД (1), ЧЗ (1) Свободны: ФОНД (1), ЧЗ (1) |
Л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 грн
Рубрики: Математична логіка--Наукові видання фывфывфыв: контекстные языки -- контекстні мови -- классы языков -- класи мов -- неразрешимость -- недозволеність -- математическая логика -- жесткие множества в полугруппах -- жорсткі множини в напівгрупах -- конечно-неоднозначные преобразователи -- кінцево-неоднозначні перетворювачі -- регулярные множества в полугруппах -- регулярні множини в напівгрупах -- группы и языки -- групи і мови Аннотация: Проблема решения систем линейных диофантовых уравнений, изучение проблем эквивалентности для классов последовательностных преобразователей. Используется теорема Гильберта о базисах и гипотеза Эренфойхта. Книга рассчитана на студентов, аспирантов, научных работников в области математики. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Ш85 Шрайберг, Яков Леонидович. Справочное руководство по основам информатики и вычислительной техники [] / Я. Л. Шрайберг, М. В. Гончаров. - М. : Финансы и статистика : Соваминко : Компьютер Пресс, 1990. - 32 с. : табл., рис. - Лит.: с. 32. - ISBN 5-279-00476-6 : 4.00 грн Рубрики: Інформатика--Наукові видання фывфывфыв: основы алгоритминзации -- основи алгоритмінізації -- основы программирования -- основи програмування -- математическая логика -- математична логіка -- програмное обеспечение -- програмне забезпечення -- технология программирования -- технология програмування Аннотация: Представлены основные сведения, опорные определения и понятия, относящиеся к основам информатики и вычислительной техники (ОИВТ). Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Гончаров, М. В. Экземпляры всего: 1 ВНБТ (1) Свободны: ВНБТ (1) |
Б 25 Барковський, Віктор Володимирович. Вища математика для економістів [] : навч. посібник / В. В. Барковський, Н. В. Барковська. - 5-те вид. - К. : Центр учбов. л-ри, 2010. - 448 с. : мал. - Дод.: с. 400-417. - Відп. до вправ: с. 418-443. - Слов. ключ. слів: с. 444-445. - ISBN 978-966-364-991-7 : 89.00 грн
Рубрики: Вища математика--Навчальні видання для вищої школи фывфывфыв: початок алгебри -- начало алгебры -- прогресії -- прогресии -- математика фінансів -- математика финансов -- матриці -- матрицы -- визначники -- определители -- лінійні алгебраїчні рівняння -- линейные алгебраические уравнения -- векторна алгебра -- векторная алгебра -- аналітична геометрія -- аналитическая геометрия -- математичний аналіз -- математический анализ -- диференціальне числення -- дифференциальное исчисление -- функціїї кількох змінних -- функции нескольких переменных -- інтегрування -- интегрирование -- визначені інтеграли -- определенные интегралы -- невласні інтеграли -- несобственные интегралы -- звичайні диференціальні рівняння -- обычные дифференциальные уравнения -- числові ряди -- числовые ряды -- степеневі ряди -- степенные ряды -- математична логіка -- математическая логика -- комбінаторика -- комбинаторика -- теорії графів -- теории графов Аннотация: Теоретичні відомості всіх традиційних розділів курсу вищої математики, а також основні поняття математичної логіки, комбінаторики, теорії графів, математики в фінансах та обліку. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Барковська, Ніна Володимирівна Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
М 69 Михайленко, Віктор Мефодійович. Спеціальні розділи математики [] : навч. посібник / В. М. Михайленко, Н. Д. Федоренко. - К. : Вища школа, 1992. - 214 с. : іл. - ISBN 5-11-003602-0 : 6.00 крб
Рубрики: Математика--Навчальні видання фывфывфыв: теорія множин -- теория множеств -- математична логіка -- математическая логика -- теорія графів -- теория графов -- теорія алгоритмів -- теория алгоритмов -- системи масового обслуговування -- системы массового обслуживания -- лінійне програмування -- линейное программирование -- нелінійне програмування -- нелинейное программирование -- комбінаторика -- комбинаторика -- метод Квайна -- метод Мак-Класкі -- метод Мак-Класки -- метод Блейка -- вектори -- векторы Аннотация: Теоретичні основи спеціальних розділів математики, які забезпечують побудову математичних моделей процесів автоматичного проектування. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Федоренко, Н. Д. Экземпляры всего: 2 ФОНД (1), ВВ (1) Свободны: ФОНД (1), ВВ (1) |
Б 25 Барковський, Віктор Володимирович. Вища математика для економістів [] : навч. посібник / В. В. Барковський, Н. В. Барковська. - Вид. 4-те, переробл. та допов. - К. : Центр навч. л-ри, 2005. - 445 с. - Дод.: с. 400-417. - Відп. до вправ: с. 418-443. - Слов. ключ. слів: с. 418-445. - ISBN 966-364-120-7 : 28.60 грн
Рубрики: Вища математика--Навчальні видання для вищої школи фывфывфыв: математична логіка -- математическая логика -- початки алгебри -- начала алгебры -- прогресії -- прогрессии -- математика фінансів -- математика финансов -- матриці -- матрицы -- визначники -- определители -- лінійні алгебраїчні рівняння -- линейные алгебраические уравнения -- векторна алгебра -- векторная алгебра -- аналітична геометрія -- аналитическая геометрия -- математичний аналіз -- математический анализ -- диференціальне числення функцій -- дифференциальное исчисление функций -- функціїї кількох змінних -- функции нескольких переменных -- інтегрування -- интегрирование -- інтеграли -- интегралы -- диференціальні рівняння -- дифференциальные уравнения -- числові ряди -- числовые ряды -- степеневі ряди -- степенные ряды Аннотация: Розміщено теоретичні відомості традиційних розділів курсу вищої математики, а також основні поняття математичної логіки, комбінаторики, теорії графів, опуклих множин, різницевих рівнянь, математики в фінансах та обліку. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Барковська, Ніна Володимирівна Экземпляры всего: 1 ФОНД (1) Свободны: ФОНД (1) |
О 35 Овчинников, Петро Пилипович Вища математика [Текстььь] : підручник : у 2 ч. / за заг. ред. П. П. Овчинникова. - 2-ге вид., стер. - К. : Техніка, 2000. - ISBN 966-575-083-6. Ч. 1 : Лінійна і векторна алгебра. Аналітична геометрія. Вступ до математичного аналізу. Диференціальне і інтегральне числення / П. П. Овчинников, Ф. П. Яремчук, В. Н. Михайленко ; пер. з рос. П. М. Юрченка. - ISBN 966-575-078-X : 20.00 грн, 18.90 грн
Рубрики: Вища математика--Навчальні видання фывфывфыв: лінійна алгебра -- линейная алгебра -- векторна алгебра -- векторная алгебра -- аналітична геометрія -- аналитическая геометрия -- лінійні алгебраїчні рівняння -- линейные алгебраические уравнения -- лінійні перетворення -- линейные превращения -- поверхні -- поверхности -- площина -- плоскость -- пряма в просторі -- прямые в пространстве -- криві -- кривые -- математичний аналіз -- математический анализ -- математична логіка -- математическая логика -- послідовності -- последовательности -- множини -- множества -- границя функції -- предел функции -- неперервність функцій -- непрерывность функций -- комплексні числа -- комплексные числа -- диференціальне числення -- дифференциальное исчисление -- функції однієї змінної -- функции одной переменной -- функції багатьох змінних -- функции многих переменных -- похідна -- производная -- невизначені інтеграли -- неопределённые интегралы -- визначені інтеграли -- определенные интегралы Аннотация: Особливість підручника - в узагальненому підході до формулювання і доведення основних методів аналітичної геометрії, лінійної алгебри і математичного аналізу. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Яремчук, Федір Петрович; Михайленко, Віктор Мефодійович; Овчинников, Петро Пилипович \ред.\; Юрченко, П. М. \пер.\; Яремчук, Ф. П.; Михайленко, В. Н.; Юрченко, П. М. \пер.\ Экземпляры всего: 5 ФОНД (2), ЧЗ (3) Свободны: ФОНД (2), ЧЗ (3) |
В 19 Васильев, Николай Александрович. Воображаемая логика. Избранные труды [] / Н. А. Васильев ; [отв. ред. В. А. Смирнов] ; Акад. наук СССР, Ин-т философии. - М. : Наука, 1989. - 264 с. : граф. - Библиогр. в подстрочном примеч. - Прил.: с. 171-259. - Библиогр.: с. 260-263. - ISBN 5-02-007946-4 : 1.60 р.
Рубрики: Логіка--Наукові видання фывфывфыв: уявна (неаристотелева логіка) -- воображаемая (неаристотелева логика) -- трикутник протилежностей -- треугольник противоположностей -- приватні судження -- частные суждения -- металогіка -- металогика -- математична логіка -- математическая логика Аннотация: Н. А. Васильев (1880-1940) - один из основателей неоклассических логик, выдвинувший и обосновавший идею возможности логики без законов противоречия и исключенного третьего. Помиио ранее опубликованных работ в книгу включены малоизвестные рукописи ученого, а также прижизненные рецензии на его труды. Дан библиографический очерк. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Смирнов, В. А. \отв. ред.\; Васильєв, Микола Олександрович (філософ, психолог, етик, історик російський ; 1880-1940) \про нього\; Академия наук СССР; Институт философии Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
М 31 Маслов, Сергей Юрьевич. Теория дедуктивных систем и ее применение [] / С. Ю. Маслов. - М. : Радио и связь, 1986. - 136 с. : рис. - (Кибернетика). - Лит.: с. 129-131. - 0.45 р.
Рубрики: Кібернетика--Навчальні видання фывфывфыв: дедуктивна система -- математическая логика -- математична логіка -- канонічні обчислення -- канонические исчисления -- алгоритми -- алгоритмы -- горизонтальне моделювання -- горизонтальное моделирование -- принципы моделирования -- принципи моделювання -- вертикальне моделювання -- вертикальное моделирование Аннотация: Излагается математический аппарат теории исчислений. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |
О-75 Основы кибернетики [Текстььь] : учеб. пособие / под ред. К. А. Пупкова. - М. : Высш. шк., 1974 - .Математические основы кибернетики / А. И. Галушкин [и др.] ; ред. К. А. Пупков. - 413 с. : рис., табл. - Лит.: с. 405-406. - Алф. указ.: с. 407-411. - 0.88 р.
Рубрики: Кібернетика--Навчальні видання для вищої школи фывфывфыв: теорія множин -- теорим множеств -- теорія графів -- теория графов -- математична логіка -- математическая логика -- булеві функції -- булевые функции -- логіка предикатів -- логика предикатов -- алгоритми -- диференційні рівняння -- дифференциальные уравнения -- лінійне програмування -- линейное программирование -- нелінійне програмування -- нелинейное программирование -- випадкові процеси -- случайные процессы -- математическая статистика -- математична статистика -- комбинаторный анализ -- комбінаторний аналіз Аннотация: Изложен математический аппарат, используемый при построении моделей кибернетических систем и изучении их поведения на основе исследования этих систем. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Пупков, К. А. \ред.\; Галушкин, А. И.; Дегтярев, Ю. И.; Калинин, Б. Н.; Костюк, Г. А. Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |
Х20 Харік, Олена Юхимівна Елементи математичного аналізу для школярів [Текстььь] / О. Ю. Харік, Ю. В. Єременко. - Х. : Основа, 2011. - (Бібліотека журналу "Математика в школах України" ; Вип. 10 (106)). Ч. 1. - 112 с. : рис. - ISBN 978-617-00-1144-2 : 5.00 грн
Рубрики: Математичний аналіз--Навчальні видання для середньої школи фывфывфыв: теорія множин -- теория множеств -- математична логіка -- математическая логика -- числові функції -- числовые функции -- числові послідовності -- числовые последовательности -- границя функції -- предел функции Аннотация: Теоретичний матеріал та система вправ з початків аналізу. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Єременко, Юлія Вікторівна Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Р88 Русско-чешский словарь по вычислительной технике [] = Rusko-cesky slovnik vypocetni techniky : ок. 30000 терминов и терминологических сочетаний / [А. И. Журавлев и др.] ; под ред.: М. Кржижа и А. П. Пронина. - М. : Русский язык ; Прага : СНТЛ - Изд-во техн. лит., 1988. - 440 с. - Текст рос., чес. - ISBN 5-200-00385-7 : 4.00 р.
Рубрики: Обчислювальна техніка--Термінологічні словники російсько-чеські--Довідкові видання Російська мова--Технічна термінологія--Перекладні словники--Чеська мова--Довідкові видання Технічна термінологія--Перекладні словники російсько-чеські--Довідкові видання фывфывфыв: російсько-чеські словники -- русско-чешские словари -- термінологічні словники -- термилогические словари -- обчислювальна техніка -- вычислительная техника -- обчислювальні машини -- вычислительные машины -- програмування -- программирование -- математична логіка -- математическая логика Аннотация: Словарь содержит ок. 30000 терминов по разделам: теория вычислительных машин и алгоритмов, языки и программирование, архитектура и принципы работы ЭВМ, операционные системы, математическая логика, передача, телеобработка и базы данных, технология, применение и обслуживание ЭВМ. Предназначен для научных, инженерно-технических работников и переводчиков. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Журавлев, Алексей Иванович; Артюхов, Анатолий Петрович; Заморин, Анатолий Петрович; Марков, А. С.; Кржиж, Мирослав \ред.\; Пронин, А. П. \ред.\ Экземпляры всего: 1 ІН (1) Свободны: ІН (1) |
Ж59 Жеребкін, Василь Євсійович. Логіка [] : підручник / В. Є. Жеребкін. - 11-те вид., випр. - К. : Знання, 2011. - 262, [2] с. : рис. - Бібліогр. в підрядковій прим. - ISBN 978-966-620-274-4 : 54.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи фывфывфыв: логіка -- логика -- поняття мислення -- понятие мышления -- форми мислення -- формы мышления -- мова логіки -- речь логики -- математична логіка -- математическая логика -- поняття -- понятие -- судження -- суждение -- складні судження -- сложные суждения -- закони логіки -- законы логики -- умовивід -- умозаключение -- дедуктивні умовиводи -- дедуктивные умозаключения -- індуктивні умовиводи -- индуктивные умозаключения -- аналогія -- аналогия -- поняття доведення -- понятие доказательства -- гіпотеза -- гипотеза -- спростування -- опровержение -- закон тотожності -- закон тождества -- закон суперечності -- закон противоречия -- наукова індукція -- научная индукция Аннотация: Один із базових підручників з логіки для студентів юридичних спеціальностей. Найважливіші переваги підручника: чітка побудова матеріалу; автору вдалося навіть найскладніші розділи подати доступно і зрозуміло; теоретичний матеріал органічно поєднується з практикою судового пізнання, особливостями правового дослідження. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ФОНД (1) Свободны: ФОНД (1) |
Б59 Бизам, Дьердь. Игра и логика. 85 логич. задач [] / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова ; [предисл. Ю. А. Данилова] = Jatek es logika. 85 feladatban / G. Bizam, J. Herczeg. - М. : Мир, 1975. - 358 с. : рис. ; 20 см. - (в пер.) : 1.15 р.
Рубрики: Математика--Логіка--Популярні видання фывфывфыв: математическая логика -- математична логіка -- игра (логика) -- гра (логіка) -- логика (задачи) -- логіка (завдачі) -- занимательная математика -- цікава математика -- логические задачи -- логічні задачі Аннотация: Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить и решать задачи, "думая, но не вычисляя". Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Герцег, Янош; Данилов, Ю. А. \пер., авт. предисл.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
К60 Колмогоров, Андрей Николаевич. Введение в математическую логику [] : учеб. пособие для мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1982. - 120 с. : ил. - Лит.: с. 120. - 0.25 р.
Рубрики: Математична логіка--Навчальні видання фывфывфыв: математическая логика -- теория множеств -- теорія множин -- логико-математические языки -- логіко-математичні мови -- логические законы -- логічні закони -- формальные аксиоматические теории -- формальні аксіоматичні теорії -- логика высказываний -- логика предикатов -- математические теории -- математичні теорії Аннотация: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 3 ЧЗ (1), АБ (2) Свободны: ЧЗ (1), АБ (2) |
Л27 Латка, Франтішек. Математичний мінілексикон [] / Франтішек Латка ; пер. зі словац. М. І. Панів, І.-П. П. Сироїд ; [ред. Л. І. Сідлович] = Minilexikon matematiky / Frantishek Latka. - Львів : Світ, 1990. - 104 с. : іл. - ISBN 5-11-000891-4 : 0.20 р.
Рубрики: Математика--Довідкові видання фывфывфыв: математика -- математичний аналіз -- математический анализ -- алгебра -- математична логіка -- математическая логика -- математичний лексікон -- математический лексикон Аннотация: Довідник містить відомості з елементарної математики та основ математичного аналізу, а також початки алгебри та математичної логіки. Матеріал підібрано та викладено таким чином, щоб ним могло користуватися широке коло читатчів. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Панів, М.І. \пер.\; Сироїд, І.-П. П. \пер.\; Сідлович, Л. І. \ред.\ Экземпляры всего: 3 ЧЗ (1), ФОНД (1), АБ (1) Свободны: ЧЗ (1), ФОНД (1), АБ (1) |
Э62 Энегелер, Эрвин. Математика элементарной математики [] / Э. Энегелер ; пер. с нем. Г. Е. Минца ; под ред. А. О. Слисенко = Metamathematik der Elementarmathematik / E. Engeler. - М. : Мир, 1987. - 128 с. : рис. - Указ. имен: с. 123-124. - Предм. указ.: с. 125-126. - 0.50 р.
Рубрики: Математика--Елементарна математика--Навчальні видання для вищої школи фывфывфыв: математика -- элементарная математика -- континуум -- геометрия -- геометрія -- алгоритмика -- алгоритміка -- вещественные числа -- дійсні числа -- анализ -- аналіз -- пространство -- простір -- геометрические построения -- геометричні побудови -- вычислимость -- вичислимість -- комбинаторы -- комбінатори -- комбинаторная логика -- комбінаторна логіка -- математическая логика -- математична логіка -- аксиоматика геометрии -- аксіоматика геометрії -- алгоритм Аннотация: Книга рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Минц, Г. Е. \пер.\; Слисенко, А. О. \ред.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |