К64 Конашенко, С. И. Методические указания к решению задач по прикладной математической логике. Ч.1 / С.И. Конашенко. - Днепропетровск : ДИИТ, 1983. - 52 с. : табл., ил. - (ДИИТ. Каф. Прикладная математика). - 00.00
Кл.слова (ненормовані): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧНА ЛОГІКА -- ДИСКРЕТНАЯ МАТЕМАТИКА -- ДИСКРЕТНА МАТЕМАТИКА Примірників всього: 78 АНЛ (1), АУЛ (77) Свободны: АНЛ (1), АУЛ (77) |
О-75 Основи дискретної математики : Підручник для вузів. - К. : Наук. думка, 2002. - 578 с. - ISBN 966-00-0622-5 : 21.00 грн, 21.10 грн
Математична статистика Кл.слова (ненормовані): дискретная математика -- ДИСКРЕТНА МАТЕМАТИКА -- комбинаторика -- КОМБІНАТОРИКА -- Алгебра -- алгоритмов теория -- алгоритмів теорія -- математическая логика -- математична логіка -- ГРАФОВ ТЕОРИЯ -- графів теорія -- Математические модели -- математичні моделі -- алгоритмы -- алгоритми -- программные инварианты -- програмні інваріанти Дод.точки доступу: Капітонова, Ю.В.; Кривий, С.Л. Примірників всього: 6 АУЛ (6) Свободны: АУЛ (6) |
Е 80 Ершов, А. П. Введение в теоретическое программирование. Беседы о методе : Учеб. пособие для вузов / А. П. Ершов. - М. : Наука, 1977. - 288 с. - Указ.: с. 287-288. - 5.00 грн
математичне програмування Кл.слова (ненормовані): ОПЕРАТОРНЫЕ СХЕМЫ -- ОПЕРАТОРНІ СХЕМИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧНА ЛОГІКА -- АЛГОРИТМИЗАЦИЯ -- АЛГОРИТМІЗАЦІЯ Примірників всього: 10 АУЛ (10) Свободны: АУЛ (10) |
П 30 Петров, Ю. А. Логические проблемы абстракций бесконечности и осуществимости / Ю. А. Петров. - М. : Наука, 1967. - 164 с. - 00.50 р.
Логіка Кл.слова (ненормовані): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧНА ЛОГІКА Примірників всього: 1 АНЛ (1) Свободны: АНЛ (1) |
П 30 Петров, Ю. А. Математическая логика и материалистическая диалектика. (Проблемы логико-философских оснований и обоснования теорий) / Ю. А. Петров. - М. : Изд-во МГУ, 1974. - 191 с. - 00.92 р.
Рубрики: Логика Логіка Кл.слова (ненормовані): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧНА ЛОГІКА Примірників всього: 2 АНЛ (2) Свободны: АНЛ (2) |
Г 45 Гжегорчик, А. Популярная логика : пер. с польск. / А. Гжегорчик. - 3-е изд., стер. - М. : Наука, 1979. - 111 с. - 00.00
Кл.слова (ненормовані): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧНА ЛОГІКА Примірників всього: 2 АНЛ (2) Свободны: АНЛ (2) |
Г 45 Гжегорчик, А. Популярная логика. Общедоступный очерк логики предложений : пер. с польск. / А. Гжегорчик. - 2-е изд., испр. - М. : Наука, 1972. - 111 с. - 00.26 р.
Кл.слова (ненормовані): МАТЕМАТИЧНА ЛОГІКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА Примірників всього: 2 АНЛ (2) Свободны: АНЛ (2) |
Г 45 Гжегорчик, А. Популярная логика. Общедоступный очерк логики предложений : пер. с польск. / А. Гжегорчик. - М. : Наука, 1965. - 107 с. : схем. - 00.16 р.
Кл.слова (ненормовані): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧНА ЛОГІКА Примірників всього: 2 АНЛ (2) Свободны: АНЛ (2) |
Л 63 Лисовик, Л. П. Теория трансдьюсеров / Л. П. Лисовик. - К. : Феникс. Т. 3, Кн. 6 : Функции и аппликативные системы. - 2007. - 284 с. : ил. - (Математическое мышление). - Библиогр.: с. 273-282 (119 назв.). - ISBN 978-966-651-466-3 (кн.6). - ISBN 966-651-375-7 (т.3) : 32.00 грн
Высшая математика Кл.слова (ненормовані): дельта-исчисление -- дельта-обчислення -- макропреобразователи -- макроперетворювачі -- аналитические множества -- аналітичні множини -- математическая логика -- математична логіка -- ламбда-исчисление -- ламбда-обчислення -- ТРАНСДЬЮСЕРЫ -- трансд'юсери Дод.точки доступу: Лисовик, Л. П. Примірників всього: 1 АНЛ (1) Свободны: АНЛ (1) |
Б 25 Барковський, В. В. Вища математика для економістів : навч. посібник / В. В. Барковський, Н. В. Барковська. - 5-те вид. - Київ : Центр учбової літератури, 2010. - 448 с. : іл., табл. - ISBN 978-966-364-991-7 : 80.00 грн
Высшая математика Кл.слова (ненормовані): НАВЧАЛЬНИЙ ПОСІБНИК -- УЧЕБНОЕ ПОСОБИЕ -- ЕКОНОМІЧНА МАТЕМАТИКА -- ЭКОНОМИЧЕСКАЯ МАТЕМАТИКА -- МАТЕМАТИЧНА ЛОГІКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КОМБІНАТОРИКА -- КОМБИНАТОРИКА -- математика фінансів -- математика финансов Дод.точки доступу: Барковська, Н. В. Примірників всього: 1 АУЛ (1) Свободны: АУЛ (1) |
А 90 Асеев, Г. Г. Дискретная математика : учебное пособие / Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников. - Ростов-на-Дону : Феникс ; Харьков : Торсинг, 2003. - 144 с. : рис. - (Учебники). - Алф. указ.: с. 140-142. - ISBN 5-222-03775-4. - ISBN 966-693-257-1 : 11.70 грн
Комбінаторний аналіз Кл.слова (ненормовані): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧНА ЛОГІКА -- ГРАФОВ ТЕОРИЯ -- ГРАФІВ ТЕОРІЯ -- комбинаторика -- КОМБІНАТОРИКА -- УЧЕБНОЕ ПОСОБИЕ -- НАВЧАЛЬНИЙ ПОСІБНИК Дод.точки доступу: Абрамов, О. М.; Ситников, Д. Э. Примірників всього: 1 АУЛ (1) Свободны: АУЛ (1) |