Електронний каталог

• Класифікатори
• Ма

математична логіка, математическая логика

Документи:

• Алгоритми і структури даних [Текст] : навч. посіб. / уклад. В. С. Коваль, П. Р. Струбицький. – Тернопіль : ФОП Шпак В. Б., 2017. – 74 с.
• Комп'ютерна логіка [Текст] : опорн. консп. лекцій / уклад. В. В. Яцків. – Тернопіль : Економічна думка, 2011. – 90 с.
• Асеев, Г. Г. Дискретная математика [Текст] / Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников. – К. : Кондор, 2008. – 162 с . – ISBN 978-966-351-127-6.
• Бирюков, Б. В. О вкладе В.И. Шестакова в создании логической теории релейных схем [Текст] / Б. В. Бирюков, О. А. Борисова, В. И. Левин // Вопросы философии. – 2009. – №3. – С. 83-92.
• Бочаров, В. А. Логика и математика [Текст] / В. А. Бочаров // Вестник Московского университета. Серия 7 "Философия". – 2012. – № 1. – С. 72-80.
• Бочаров, В. А. Пифагореизм, платонизм, математика и логика [Текст] / В. А. Бочаров // Вестник Московского университета. Серия 7 "Философия". – 2010. – май-июнь (№3). – С. 84-94.
• Вишневский, А. Некоторые допустимые правила для системы сократического вывода [Текст] / А. Вишневский, В. О. Шангин // Вестник Московского университета. Серия 7 "Философия". – 2007. – сентябрь-октябрь(№5). – С. 77-88.
• Системологія на транспорті [Текст] : підручник : у 5-ти кн. Кн. 1 : Основи теорії систем і управління / Е. В. Гаврилов, М. Ф. Дмитриченко, В. К. Доля [та ін.] ; за заг. ред. М. Ф. Дмитриченка. – К. : Знання України, 2005. – 344 с. – ISBN 966-316-075-6.
• Глушенкова, Ірина Сергіївна Методи, моделі та інформаційні технології оцінювання станів просторово розподілених об'єктів [Текст] : автореф. дис. на здобуття наук. ступеня канд. екон. наук : спец. 05.13.06 - інформаційні технології / Глушенкова Ірина Сергіївна. – Х. : ХНУР, 2012. – 20 с.
• Грисенко, М. В. Математика для економістів : методи й моделі, приклади й задачі [Текст] : навч. посіб. / М. В. Грисенко. – К. : Либідь, 2007. – 720 с. – ISBN 978-966-06-0436-0.
• Иванов, Е. А. Логика [Текст] : учебник / Е. А. Иванов. – 3-е изд., перераб. и дополн. – М. : Волтерс Клувер, 2007. – 416 с. – ISBN 978-5-466-00105-8.
• Кобзарь, В. И. Логика в России последнего столетия: основные этапы и итоги [Текст] / В. И. Кобзарь // Философские науки. – 2009. – №4. – С. 18-33.
• Кузичева, З. А. Влияние теории релейно-контактных схем на развитие математической логики [Текст] / З. А. Кузичева // Вестник Московского университета. Серия 7 "Философия". – 2009. – январь-февраль (№1). – С. 53-62.
• Левин, В. И. Еще раз об истории открытия логического моделирования технических устройств [Текст] / В. И. Левин, Б. В. Бирюков // Вестник Московского университета. Серия 7 "Философия". – 2009. – январь-февраль (№1). – С. 37-52.
• Матвієнко, М. П. Дискретна математика ХХІ століття [Текст] : підручник / М. П. Матвієнко. – 2-ге вид., переробл. і доповн. – К. : Ліра-К, 2019. – 324 с. – ISBN 978-966-2609-32-5.
• Матвієнко, М. П. Дискретна математика [Текст] : навч. посіб. / М. П. Матвієнко. – К. : Ліра-К, 2013. – 348 с. – ISBN 978-966-2609-32-5.
• Матвієнко, М. П. Дискретна математика ХХІ століття [Текст] : підручник / М. П. Матвієнко. – 2-ге вид., переробл. і доповн. – К. : Ліра-К, 2017. – 324 с. – ISBN 978-966-2609-32-5.
• Матвієнко, М. П. Комп'ютерна логіка [Текст] : навч. посіб. / М. П. Матвієнко. – К. : Ліра-К, 2015. – 288 с. – ISBN 966-2609-09-7.
• Матвієнко, М. П. Комп'ютерна логіка [Текст] : навч. посіб. / М. П. Матвієнко. – К. : Ліра-К, 2012. – 288 с. – ISBN 966-2609-09-7.
• Матвієнко, М. П. Комп'ютерна логіка [Текст] : підручник / М. П. Матвієнко. – 2-ге вид., переробл. та доповн. – К. : Ліра-К, 2017. – 324 с. – ISBN 978-617-7320-89-9.
• Матвієнко, М. П. Математична логіка та теорія алгоритмів [Текст] : навч. посіб. / М. П. Матвієнко, С. П. Шаповалов. – К. : Ліра-К, 2015. – 212 с. – ISBN 978-966-2609-74-5.
• Матвієнко, М. П. Математична логіка та теорія алгоритмів [Текст] : навч. посіб. / М. П. Матвієнко, С. П. Шаповалов. – К. : Ліра-К, 2021. – 212 с. – ISBN 978-966-2609-74-5.
• Алгебра і початки аналізу. 10 клас [Текст] : підручник / А. Г. Мерзляк, Д. А. Номіровський, В. Б. Полонський, М. С. Якір. – Х. : Гімназія, 2014. – 416 с. – ISBN 978-966-474-103-0.
• Нікольський, Ю. В. Дискретна математика [Текст] : підручник / Ю. В. Нікольський, В. В. Пасічник, Ю. М. Щербина. – Львів : Магнолія Плюс, 2006. – 608 с. – (Вища освіта в Україні). – ISBN 966-83-40-50-7.
• Нікольський, Ю. В. Дискретна математика [Текст] : підручник / Ю. В. Нікольський, В. В. Пасічник, Ю. М. Щербина ; за ред. М. З. Згуровського. – К. : Видавнича група ВНV, 2007. – 368 с. – (ІНФОРМАТИКА). – ISBN 966-552-201-9.
• Ольховиков, Г. К. К вопросу о возможности редукциии состояний дел к действиям: анализ логик L0 и L1 [Текст] / Г. К. Ольховиков // Вестник Московского университета. Серия 7 "Философия". – 2009. – сентябрь-октябрь(№5). – С. 53-67.
• Павлов, К. А. На подступах к понятию логики [Текст] / К. А. Павлов // Вопросы философии. – 2009. – №8. – С. 66-80.
• Перминов, В. Я. Реальность математики [Текст] / В. Я. Перминов // Вопросы философии. – 2012. – № 2. – С. 24-39.
• Поляк, Ганна Аналіз екзистиційних припущень у модальній логіці та ідея мультимодальної логіки існування [Текст] / Ганна Поляк // Філософська думка. – 2010. – №5 : Логіка за часів перемін: академізм vs прагматизм. – С. 79-88.
• Пономаренко, О. І. Сучасний економічний аналіз [Текст] : навч. посіб. : у 2-х ч. Ч. 2 : Макроекономіка / О. І. Пономаренко, М. О. Перестюк, В. М. Бурим. – К. : Вища школа, 2004. – 205 с. – ISBN 966-642-251-4.
• Інформатика. 11 клас [Текст] : підручник : академічний рівень, профільний рівень / Й. Я. Ривкінд, Т. І. Лисенко, Л. А. Чернікова, В. В. Шакотько ; за заг. ред. М. З. Згуровського. – К. : Генеза, 2011. – 304 с. – ISBN 978-966-11-0068-7.
• Селяков, Е. Б. Моделирование требований к техническим системам методами математической логики [Текст] / Е. Б. Селяков // Автоматика. Автоматизація. Електротехнічні комплекси та системи. – 2009. – № 2. – С. 12-17.
• Томова, Н. Е. Возникновение трехзначных логик: логико-философский анализ [Текст] / Н. Е. Томова // Вестник Московского университета. Серия 7 "Философия". – 2009. – сентябрь-октябрь(№5). – С. 68-74.
• Трохимчук, Р. М. Дискретна математика [Текст] : навч. посіб. / Р. М. Трохимчук. – К. : Персонал, 2010. – 528 с. – ISBN 978-966-608-863-8.
• Френкель, А. О диагональном методе Кантора [Текст] / А. Френкель // Вестник Московского университета. Серия 7 "Философия". – 2003. – №5. – С.62-68.
• Чернет, П. Е. Тесты IQ. Логика и психометрия, математика и концентрация внимания, различные типы мышления. Ребусы, задачи, структурные построения и преобразования [Текст] / П. Е. Чернет. – М. : Ось-89, 2001. – 128 с. – ISBN 5-86894-465-8.
• Яновская, С. А. Методологические проблемы науки [Текст] : под. общ. ред. И. Г. Башмаковой, Д. П. Горского, В. А. Успенского / С. А. Яновская. – изд. 3-е. – М. : ЛИБРОКОМ, 2009. – 288 с. – ISBN 978-5-397-00758-0.