А84 Арно, Антуан. Логика, или Искусство мыслить, где помимо обычных правил содержатся некоторые новые соображения, полезные для развития способности суждения. [] / А. Арно, П. Николь. - Москва : Наука, 1991. - 413 с. - (Памятники философской мысли). - Указ. имен: с.405-407. - ISBN 5-02-008139-6 : 10.00 р. Рубрики: Логіка--Наукові видання Кл.слова (ненормовані): искусство мыслить -- мистецтво мислити -- десять категорий Аристотеля -- десять категорій Арістотеля -- суждение -- міркування -- умозаключение -- висновок -- силлогизмы -- силлогізми -- энтимеми -- ентимеми -- дилемма -- дилема Анотація: Авторы книги создали логическое учение, развивающее методологические принципы Р. Декарта и Б. Паскаля. Книга отражает духовную атмосферу своего времени. Логическая проблематика рассматривается в ней на фоне философских, научных, религиозных представлений эпохи. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Николь, Пьер Примірників всього: 2 ЧЗ (2) Свободны: ЧЗ (2) |
Х 76 Хоменко, І. В. Логіка - юристам [] : підручник для студ. юридич. спеціальностей вищ. учбових закл. / І. В. Хоменко. - К. : Четверта хвиля, 1997. - 386 с. - Л-ра: с. 377-387. - ISBN 966-529-045-2 : 8.80 грн р.
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): логічні знання -- логические знания -- міркування -- соображения -- правильність міркування -- правильность рассуждения -- логічна форма міркування -- логическая форма рассуждения -- формалізована мова -- формализована язык -- семіотичний характер логіки -- семиотический характер логики -- семіотика -- семиотика -- класична логіка висловлювання -- классическая логика высказывания -- мова логіки -- язык логики -- логічні сполучники -- логические союзы -- істинність -- истинность -- конюнкція -- конюнкция -- дизюнкція -- дизюнкция -- імплікація -- импликация -- еквіваленція -- еквиваленции -- логічні закони -- логические законы -- класична логіка предикатів -- классическая логика предикатов -- модальна логіка -- модальная логика -- логічний аналіз діяльності -- логический анализ деятельности -- практичне міркування -- практическое соображение -- модальність -- модальность -- логіка дії -- логика действия -- логіка санкцій -- логика санкций -- поняття -- понятие -- синтактичне поняття -- синтаксические понятия -- семантичне поняття -- семантическое понятие -- визначення -- определение -- теорія аргументації -- теория аргументации Анотація: У підручнику викладено основні положення сучасної логіки урахуванням викладання цього курсу студентам юридичних вузів факультетів. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
У93 Ушаков, Рудольф Петрович. Комбінаторні тотожності [] / Р. П. Ушаков. - Х. : Основа, 2004. - 112 с. - (Бібліотека журналу "Математика в школах України" ; вип. 3 (15)). - Л-ра: с. 109. - ISBN 966-333-009-0 : 5.13 грн.
Рубрики: Математика--Навчальні видання Кл.слова (ненормовані): комбініторні міркування -- комбиниторни рассуждения -- тотожні перетворення -- тождественные преобразования -- метод математичної індукції -- метод математической индукции -- метод Малікова -- метод Маликова -- геометричні міркування -- геометрические соображения -- похідна та інтеграл -- производная и интеграл -- зворотні послідовності -- обратные последовательности -- комплексні числа -- комплексные числа Анотація: У книжці зібрано багату колекцію комбінаторних тотожностей, які відіграють важливу роль у богатьох галузях математики: алгебрі, теорії ймовірностей, теорії графів. Для конструювання та доведення комбініторних тотожностей застосовується багатий арсенал засобів: метод математичної індукції, комбініторні міркування, тотожні перетворення, похідна та інтеграл, зворотні послідовності, комплексні числа. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
С83 Страуструп, Бьерн. Язык программирования СИ++ [] = The C++ Programming Language / Б. Страуструп ; пер. с англ.: М. Г. Пиголкина, В. А. Яницкого. - Москва : Радио и связь, 1991. - 352 с. : табл. - Библиогр. в конце глав. - ISBN 5-256-00454-9 : 10.24 р.
Рубрики: С++, мова--Проектування--Програмування--Практичні посібники Кл.слова (ненормовані): структура программы -- структура програми -- производные классы -- похідні класи -- экономия пространства -- економія простору -- полиморфные векторы -- поліморфні вектори -- виртуальные функции -- віртуальні функції -- альтернативные интерфейсы -- альтернативні інтерфейси -- буферизация -- буферизація -- командные строки компилятора -- командні рядки компілятора -- соображения мобильности -- міркування мобільності -- определение функций -- визначення функцій Анотація: Язык программирования С++ в направлении объектной ориентированности, включая механизм контроля типов, абстракции данных и совмещения операций. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Пиголкин, М. Г. \пер.\; Яницкий, В. А. \пер.\ Примірників всього: 4 ВВ (1), АБ (2), ФОНД (1) Свободны: ВВ (1), АБ (2), ФОНД (1) |