Т 76 Трохимчук, Ростислав Миколайович. Збірник задач і вправ з математичної логіки [] : навч. посіб. для студентів вищ. учб. закл. / Р. М. Трохимчук ; Міжрегіональна Академія Управління персоналом. - К. : Персонал, 2008. - 114 с. : табл. - Л-ра: с. 113. - ISBN 978-966-608-854-6 : 013.50 грн
Рубрики: Математика--Математична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): математична логіка -- математическая логика -- задачі -- задачи -- логічні операції -- логические операции -- проблема розв'язності -- проблема разрешимости -- алгебра висловлень -- алгебра высказываний -- числення висловлень -- счисление высказываний -- теореми -- теоремы -- похідні правила виведення -- походные правила выведения -- логіка предикатів -- логика предикатов -- формули -- формулы -- рівносильність формул -- равносильность формул -- логічне слідування -- логическое следование -- формальна логіка -- формальная логика Анотація: Збірник містить ретельно відібраний і систематизований набір відомих і оригинальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Міжрегіональна Академія Управління персоналом Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
П12 Павлов, Віталій Іванович. Логіка у запитаннях, відповідях і аргументаціях [] : [навч. посіб для студ. вищ. навч. закл.] / В. І. Павлов. - К. : Центр учбов. л-ри, 2008. - 408 с. : рис., табл. - Л-ра: с. 383-385. - Предм. покажч.: с. 386-391. - ISBN 978-966-364-647-3 : 59.00 грн, 056.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): логічні дослідження -- логические исследования -- логічні форми -- логические формы -- структура логіки -- структура логики -- методологія -- методология -- гносеологія -- гносеология -- інформаційні системи -- информационные системы -- класифікація мов -- класификация языков -- семантичні категорії -- семантические категории -- поняття -- понятие -- класифікація понять -- класификация понятий -- поділ понятий -- разделение понятий -- судження -- суждение -- закони логіки -- законы логики -- основні еквівалентності -- основные еквивалентности -- логіка предикатів -- логика предыкатив -- умовиводи -- умовиводы -- класифікація умовиводів -- классификация умовыводов -- дедуктивні умовиводи -- дедуктывни умовыводи -- силогізм -- силогизм -- імовірнісні умовиводи -- имовирнисни умовыводи -- індуктивні умовиводи -- индуктивные умовыводи -- статистичні умовиводи -- статистические умовыводи -- гіпотеза -- гипотеза -- структура доведення -- структура доведения -- спростування -- опровождение -- логіка науки -- логика науки -- емпіричні і теоретичні знання -- емперические и теоретические знания -- теорії -- теории Анотація: Нетрадиційна форма викладу теоретичного матеріалу, наявність алгоритмів розв'язання типових задач і оригінальних контрольно-навчальних тестів дають змогу провести самостійний тренінг-контроль якості засвоєння дисціпліни, отримати практичні навики логічного мислення і вирішити низку світоглядних проблем щодо формування логічного знання. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
К 64 Конверський, Анатолій Євгенович. Логіка (традиційна та сучасна) [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - 2-е вид. - К. : Центр учбов. л-ри, 2008. - 536 с. - Л-ра: с.534-535. - ISBN 978-966-364-735-7 : 90.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): мислення -- мышление -- мова -- язык -- формалізація -- формализация -- поняття -- понятие -- судження -- суждение -- умовивід -- умозаключение -- аргументація -- аргументация -- спростування -- опровержение -- логіка висловлювань -- логика высказываний -- класична логіка -- классическая логика -- логіка предикатів -- логика предикатов -- некласична логіка -- неклассическая логика -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- закони логіки -- законы логики -- аналогія -- аналогия -- історія логіки -- история логики -- сучасна логіка -- современная логика -- традиційна логіка -- традиционная логика Анотація: Підручник складається із двох книг: "Традиційна логіка" і "Сучасна логіка". Його написано на основі досвіду читання курсу "Логіка" в Київському національному університеті ім. Тараса Шевченка. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ФОНД (1) Свободны: ФОНД (1) |
Ж 79 Жоль, Константин Константинович. Вступ до сучасної логіки [] : навч. посіб. / К. К. Жоль. - К. : Вища шк., 1992. - 128 с. - Реком. покажч.: с.127-128. - ISBN 5-11-003825-2 : 10 р.
Рубрики: Логіка Кл.слова (ненормовані): прийнятя рішень -- принимаемые решения -- технічні системи -- технические системи -- металогіка -- металогика -- аксіоматика -- аксиоматика -- логічні дослідження Д. Гільберта -- логические исследования Д. Гильберта -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатив -- логічні ідеї -- логические идеи -- системи -- системи -- конструктивістська логіка -- конструкторская логика -- модальна логіка -- модальная логика -- логічна семантика -- логическая семантика -- кібернетика -- кибернетика Анотація: У посібнику викладено основні поняття і методи сучасної логіки , пояснюється звязок логіки з гуманітарними, природничими і технічними науками, розкривається значення логіки для програмного забезпечення сучасних компютерів. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
З-47 Зегет, Вольфганг. Элементарная логика [] = Elementare logik : [учеб. пособие] / В. Зегет ; пер. с нем. И. М. Морозовой ; под ред. и с предисл. Е. Б. Кузиной. - М. : Высш. шк., 1985. - 256 с. - Библиогр. в подстрочном примеч. - Лит.: с. 254. - 0.90 р. Рубрики: Логіка--Наукові видання Кл.слова (ненормовані): формальна логіка -- формальная логика -- логіка висловлювань -- логика высказываний -- логические умозаключения -- логічні умовиводи -- редуктивные умозаключения -- редуктивні умовиводи -- логіка предикатів -- логика предикатов -- теория определения -- теорія визначення -- безпосередні висновки -- непосредственные умозаключения -- силогістика -- силлогистика -- висновки по аналогії -- умозаключения по аналогии Анотація: Оригинальное учебное пособие, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Морозов, И. М. \пер.\; Кузина, Е. Б. \ред., авт. предисл.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
К 64 Конверський, Анатолій Євгенович. Логіка [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - К. : Укр. Центр духов. культури, 1999. - 400 с. : граф., табл. - Бібліогр. в підрядковій прим. - Л-ра: с. 393-394. - ISBN 966-7276-50-3 : 14.00 грн, 18.34 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): традиційна логіка -- традиционная логика -- предмет логіки -- предмет логики -- мислення і мова -- мышление и язык -- формалізація логіки -- формализация логики -- логічні терміни -- логические термины -- теорія імен -- теория имен -- функціональний аналіз у логіці -- функциональный анализ в логике -- історія логіки -- история логики -- логічні операціїї над поняттями -- логические операции над понятиями -- судження -- суждения -- атрибутивні судження -- атрибутивные суждения -- модальні судження -- модальные суждения -- умовиводи -- умозаключения -- аргументація -- аргументация -- класична логіка -- классическая логика -- логіка висловлювань -- логика изречений -- логіка предикатів -- логика предикатов Анотація: Підручник складається з двох частин: "Традиційна логіка" і "Класична логіка". В першій частині розкривається предмет, метод логіки, основні форми та закони мислення. У другій частині розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій в межах логіки висловлювань і логіки предикатів. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 3 ЧЗ (2), АБ (1) Свободны: ЧЗ (2), АБ (1) |
И 97 Ішмуратов, Анатолій Теміргалійович. Вступ до філософської логіки [] : підручник для студ. та асп. гуманіт. спец. вищ. навч. закл. / А. Т. Ішмуратов ; Міжнар. фонд "Відродження". - К. : Абрис, 1997. - 350 с. - (Програма "Трансформація Гуманітарної Освіти в Україні"). - Бібліогр.: с.333-344. - ISBN 966-531006-2 : 1.50 грн
Рубрики: Філософська логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): класична логіка -- класическая логика -- логічні схеми -- логические схеми -- логічна семантика -- логическая семантика -- логіка висловлювань -- логика висказываний -- логічні сполучники -- логические соединения -- логіка висловлювань -- логика высказываний -- інтерпретація -- интерпритация -- логічний закон -- логический закон -- логіка предикатів -- логика предикатов -- квантори -- кванторы -- логіка класів -- логика класов -- логіка відношень -- логика отношений -- девіантні логіки -- девиантные логики -- логіка Лукасевича -- логика Лукасевича -- логіка Бочвара -- логика Бочвара -- логіка Белнапа -- логика Белнапа -- модальна логіка -- модальная логика -- філософська оцінка -- философская оценка -- часова логіка -- часовая логика -- деонтична логіка -- деонтическая логика -- логіка санкцій Андерсона -- логика санкций Андерсона -- епістемічна логіка -- епистемическая логика -- праксеологіка -- праксеологика -- логіка діяльності -- логика деятельности -- міркування -- соображения -- діяльність -- деятельность -- логіка дії -- логика действия -- людські взаємодії -- человеческие взаимодействия -- практичні міркування -- практические мышления -- дедукція -- дедукция -- аналіз -- анализ -- силогістика Лукасевича -- силогистика Лукасевича -- пресупозиція -- пресупозиция -- часова тризначна логика -- временная трехзначная логика -- логіка Бочвара -- логика Бочвара -- теорія ігор -- теория игор -- аналіз дискурсу -- анализ дискурсу Анотація: У підручнику докладно розглянуто такі напрями, як часова логіка , деонтична логіка, епістемічна логіка, логіка норм та оцінок, логіка дій, логіка взаємодій, логіка запитань та відповідей, логіка прийняття рішень, а також актуальні підходи, безпосерерньо повязані з логіко- філософським аналізом гуманітарного знання. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Міжнародний фонд "Відродження" Примірників всього: 3 ЧЗ (2), ФОНД (1) Свободны: ЧЗ (2), ФОНД (1) |
О-75 Основы кибернетики [Текст] : учеб. пособие / под ред. К. А. Пупкова. - М. : Высш. шк., 1974 - .Математические основы кибернетики / А. И. Галушкин [и др.] ; ред. К. А. Пупков. - 413 с. : рис., табл. - Лит.: с. 405-406. - Алф. указ.: с. 407-411. - 0.88 р.
Рубрики: Кібернетика--Навчальні видання для вищої школи Кл.слова (ненормовані): теорія множин -- теорим множеств -- теорія графів -- теория графов -- математична логіка -- математическая логика -- булеві функції -- булевые функции -- логіка предикатів -- логика предикатов -- алгоритми -- диференційні рівняння -- дифференциальные уравнения -- лінійне програмування -- линейное программирование -- нелінійне програмування -- нелинейное программирование -- випадкові процеси -- случайные процессы -- математическая статистика -- математична статистика -- комбинаторный анализ -- комбінаторний аналіз Анотація: Изложен математический аппарат, используемый при построении моделей кибернетических систем и изучении их поведения на основе исследования этих систем. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Пупков, К. А. \ред.\; Галушкин, А. И.; Дегтярев, Ю. И.; Калинин, Б. Н.; Костюк, Г. А. Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
К21 Карамишева, Неллі Василівна. Логіка (теоретична і прикладна) [] : навч. посібник / Н. В. Карамишева. - К. : Знання, 2011. - 455, [1] с. : табл. - Л-ра: с. 454-455. - ISBN 978-966-346-725-2 : 83.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): логіка -- логика -- мислення -- мышление -- традиційна логіка -- традиционная логика -- логічні операції -- логические операции -- закони логіки -- законы логики -- поняття -- понятия -- висловлювання -- высказывания -- умовивід -- умозаключения -- парадокси -- парадоксы -- символічна логіка -- символическая логика -- металогіка -- металогика -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатов -- логіка існування -- логика существования -- практична логіка -- практическая логика -- логіка дії -- логика действия -- логіка науки -- логика науки -- монізм -- монизм -- плюралізм -- плюрализм -- дискурс -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- класична символічна логіка -- классическая символическая логика -- некласична логіка -- неклассическая логика Анотація: Системи теоретичної логіки (традиційна логіка, символічна логіка), нові напрями логічних досліджень (логіка існування, практична логіка) та прикладної логіки (логіка науки, логіка дискурсу). Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
О-79 Осуга, Сэцуо. Обработка знаний [] / С. Осуга ; пер. с англ. В. И. Этовой. - М. : Мир, 1989. - 293 с. : рис., табл. - ISBN 4-274-07321-1 : 1.10 р.
Рубрики: Штучний інтелект--Наукові видання Кл.слова (ненормовані): системи обработки информации -- системи обробки інформації -- полезность знаний -- корисність знань -- инженерия знаний -- інженерія знань -- логика предикатов -- логіка предикатів -- теория множеств -- теорія множин -- интерпретация аксиом -- інтерпритація аксіом -- формализация проблемы -- формалізація проблеми -- описание проблемы -- опис проблем -- описание моделей -- опис моделей -- декларативные языки -- декларативні мови -- универсальные модели -- універсальні моделі Анотація: Исследования по искусственному интеллекту, методы представления знаний в экспертных системах. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Этова, В. И. \пер.\ Примірників всього: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1) |
Р79 Рот, Михаэль. Интеллектуальный автомат: компьютер в качестве эксперта [] / М. Рот ; пер. с нем. А. П. Свиридова. - М. : Энергоатомиздат, 1991. - 80 с. : рис. - ISBN 5-283-02522-5 : 6.55 крб
Рубрики: Експертні системи--Практичні посібники Комп'ютери--Історія--Практичні посібники Кл.слова (ненормовані): эволюция ЭВМ -- еволюція ЕОМ -- логическое программирование -- логічне програмування -- исчисление высказываний -- обчислення висловлювань -- логика предикатов -- логіка предикатів -- языки логического программирования -- мови логічного програмування -- ЭВМ четвертого поколения -- ЕОМ четвертого покоління -- ЭВМ пятого поколения -- ЕОМ п'ятого покоління -- диагностические экспертные системы -- діагностичні експертні системи -- машина логического вывода -- машина логічного виводу -- процедурное знание -- процедурне знання -- продукционная система -- продукційна система Анотація: Основы построения и практического применения экспертных систем, дан анализ эволюции компьютеров за последние три столетия. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Свиридов, А. П. \пер.\ Примірників всього: 1 ФОНД (1) Свободны: ФОНД (1) |
П12 Павлов, Віталій Іванович. Логіка у запитаннях, відповідях і аргументаціях [] : навч. посібник для студ. вищ. навч. закл. / В. І. Павлов. - Київ : Центр учбов. літ., 2012. - 407, [1] с. : табл., мал. - Л-ра: с. 383-385. - Предм. покажч.: с. 386-391. - ISBN 978-966-364-647-3 : 30.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): логічні дослідження -- логические исследования -- логічні форми мислення -- логические формы мышления -- структура логіки -- структура логики -- логічні дослідження та мова -- логические исследования и речь -- класифікація мов -- классификация языков -- загальні функції мови -- общие функции языка -- семантичні категорії мови -- семантические категории языка -- поняття як відображення предметів і явищ -- понятие как отображение предметов и явлений -- визначення (дефініція) понять -- определение (дефиниция) понятий -- судження як форма мислення -- суждение как форма мышления -- завжди істинні судження -- всегда истинные суждения -- завжди хибні судження -- всегда ложные суждения -- закони логіки -- законы логики -- логічні відношення між судженнями -- логические отношения между суждениями -- основні еквівалентності суджень -- основные эквивалентности суждений -- еквівалентні перетворення суджень -- эквивалентные преобразования суждений -- логіка предикатів -- логика предикатов -- умовиводи -- умозаключения -- класифікація умовиводів -- классификация умозаключений -- дедуктивні умовиводи -- дедуктивные умозаключения -- імовірнісні умовиводи -- вероятностные умозаключения -- гіпотеза -- гипотеза -- логіка науки -- логика науки Анотація: Навчальний посібник містить близько 500 фундаментальних запитань з класичної логіки і аргументованих відповідей на них. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
Н73 Новиков, Петр Сергеевич. Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.
Рубрики: Математична логіка--Навчальні видання Кл.слова (ненормовані): логічні операції -- логические операции -- алгебра висловлювань -- алгебра высказываний -- числення висловів -- исчисление высказываний -- теорема дедукции -- еквівалентні формули -- эквивалентные формулы -- логіка предикатів -- логика предикатов -- обчислення предикатів -- исчисление предикатов -- аксіоматична арифметика -- аксиоматическая арифметика -- теорія доказів -- теория доказательств Анотація: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
М19 Малпас, Дж. Реляционный язык Пролог и его применение [] / Дж. Малпас ; пер. с англ. А. А. Титова ; под ред. В. Н. Соболева. - Москва : Наука, 1990. - 464 с. : рис., табл. - Прил.: с. 328-447. - Лит.: с. 448-458. - Предм. указ.: с. 459-463. - ISBN 5-02-014509-2 : 3.50 р.
Рубрики: Pascal, мова--Програмування--Методика--Застосування--Практичні посібники Кл.слова (ненормовані): логическое программирование -- логічне програмування -- традиционная логика -- традиційна логіка -- логика предикатов -- логіка предикатів -- синтаксис языка -- синтаксис мови -- фразы Хорна -- фрази Хорна -- объектный язык -- об'єктна мова -- арифметика -- структуры данных -- структура даних -- управление ходом выполнения программ -- управління ходом виконання програм -- реляционный подход -- реляційний підхід -- обработка текста -- обробка тексту -- представление знаний -- представлення знань -- экспертные консультации -- експертні консультації Анотація: Реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Титов, А. А. \пер.\; Соболев, В. Н. \ред.\ Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
К64 Конверський, Анатолій Євгенович. Сучасна логіка (класична та некласична) [] : підручник / А. Є. Конверський ; М-во освіти і науки України, Київ. нац. ун-т ім. Т. Шевченка. - 2-ге вид., переробл. та допов. - Київ : Центр учбов. літ., 2018. - 292, [4] с. : табл. - Літ.: с. 293. - ISBN 978-617-673-684-4 : 209.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): класична логіка -- сучасна логіка -- логіка висловлювань -- логіка предикатів -- некласична логіка -- багатозначна логіка -- модальна логіка -- алетична логіка -- темпоральна логіка -- деонтична логіка -- епістемічна логіка Анотація: Розкриті історичні та теоретичні передумови виникнення сучасної логіки. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Міністерство освіти і науки України; Київський національний університет імені Тараса Шевченка Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |