Т 63 Тофтул, Михайло Григорович. Логіка [] : підручник / М. Г. Тофтул. - 2-ге вид. переробл. і допов. - К. : Академія, 2006. - 400 с. - (Альма-матер). - Л-ра: с. 399. - ISBN 966-580-214-3 : 26.00 грн
Рубрики: Логіка--Навчальні видання Кл.слова (ненормовані): логіка -- логика -- традиційна логіка -- традиционная логика -- поняття -- понятие -- судження -- суждение -- закони логіки -- законы логики -- умовивід -- умозаключение -- індукція -- индукция -- гіпотеза -- гипотеза -- доведення -- доказательства -- спростування -- опровержения -- мистецтво полеміки -- исскуство полемики -- сучасна логіка -- современная логика -- класична логіка -- классическая логика -- некласична логіка -- неклассическая логика -- історія логіки -- история логики Анотація: Охоплює повний курс традиційної логіки і скорочений - сучасної (класичної, неокласичної). Утримувачі документа: ЖОУНБ Примірників всього: 1 ФОНД (1) Свободны: ФОНД (1) |
Т 63 Тофтул, Михайло Григорович. Логіка [] : підручник / М. Г. Тофтул. - 2-ге вид., випр. і допов. - К. : Академія, 2008. - 398, [2] с. - (Альма-матер). - Слов: с. 384-398. - Л-ра: с. 399. - ISBN 978-966-580-264-8 : 36.80 грн, 36.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): традиційна логіка -- традиционная логика -- поняття -- понятие -- судження -- суждение -- закони логіки -- законы логики -- умовивід -- умозаключение -- Індукція -- индукция -- аналогія -- аналогия -- гіпотеза -- гипотеза -- сучасна логіка -- современная логика -- класична логіка -- классическая логика -- некласична логіка -- неклассическая логика -- історія логіки -- история логики Анотація: Охоплює повний курс традиційної логіки і скорочений - сучасної (класичної, некласичної). Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 3 ФОНД (2), ЧЗ (1) Свободны: ФОНД (2), ЧЗ (1) |
К 64 Конверський, Анатолій Євгенович. Логіка (традиційна та сучасна) [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - 2-е вид. - К. : Центр учбов. л-ри, 2008. - 536 с. - Л-ра: с.534-535. - ISBN 978-966-364-735-7 : 90.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): мислення -- мышление -- мова -- язык -- формалізація -- формализация -- поняття -- понятие -- судження -- суждение -- умовивід -- умозаключение -- аргументація -- аргументация -- спростування -- опровержение -- логіка висловлювань -- логика высказываний -- класична логіка -- классическая логика -- логіка предикатів -- логика предикатов -- некласична логіка -- неклассическая логика -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- закони логіки -- законы логики -- аналогія -- аналогия -- історія логіки -- история логики -- сучасна логіка -- современная логика -- традиційна логіка -- традиционная логика Анотація: Підручник складається із двох книг: "Традиційна логіка" і "Сучасна логіка". Його написано на основі досвіду читання курсу "Логіка" в Київському національному університеті ім. Тараса Шевченка. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ФОНД (1) Свободны: ФОНД (1) |
К 64 Конверський, Анатолій Євгенович. Логіка [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - К. : Укр. Центр духов. культури, 1999. - 400 с. : граф., табл. - Бібліогр. в підрядковій прим. - Л-ра: с. 393-394. - ISBN 966-7276-50-3 : 14.00 грн, 18.34 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): традиційна логіка -- традиционная логика -- предмет логіки -- предмет логики -- мислення і мова -- мышление и язык -- формалізація логіки -- формализация логики -- логічні терміни -- логические термины -- теорія імен -- теория имен -- функціональний аналіз у логіці -- функциональный анализ в логике -- історія логіки -- история логики -- логічні операціїї над поняттями -- логические операции над понятиями -- судження -- суждения -- атрибутивні судження -- атрибутивные суждения -- модальні судження -- модальные суждения -- умовиводи -- умозаключения -- аргументація -- аргументация -- класична логіка -- классическая логика -- логіка висловлювань -- логика изречений -- логіка предикатів -- логика предикатов Анотація: Підручник складається з двох частин: "Традиційна логіка" і "Класична логіка". В першій частині розкривається предмет, метод логіки, основні форми та закони мислення. У другій частині розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій в межах логіки висловлювань і логіки предикатів. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 3 ЧЗ (2), АБ (1) Свободны: ЧЗ (2), АБ (1) |
К93 Курбатов, В. И. Логика [] : учеб. пособие высших учеб. заведений / В. И. Курбатов. - Ростов н/Д : Феникс, 1996. - 320 с. - ISBN 5-85880-335-0 : 6.00 грн
Рубрики: Логіка--Навчальні видання Кл.слова (ненормовані): мышление -- мислення -- методы логики -- методи логіки -- суждение -- судження -- определение понятий -- визначення понять -- деление понятий -- поділ понять -- традиционная логика -- традиційна логіка -- методическое мышление -- методичне мислення -- доказательство -- доказ -- опровержение -- спростування -- критика -- аргументации -- аргументації -- язык и речь -- мова і мовлення Анотація: В учебном пособии подробно и доспупно раскрываются основные понятия и категории, а также показывается ее применение в аргументации. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
К21 Карамишева, Неллі Василівна. Логіка (теоретична і прикладна) [] : навч. посібник / Н. В. Карамишева. - К. : Знання, 2011. - 455, [1] с. : табл. - Л-ра: с. 454-455. - ISBN 978-966-346-725-2 : 83.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): логіка -- логика -- мислення -- мышление -- традиційна логіка -- традиционная логика -- логічні операції -- логические операции -- закони логіки -- законы логики -- поняття -- понятия -- висловлювання -- высказывания -- умовивід -- умозаключения -- парадокси -- парадоксы -- символічна логіка -- символическая логика -- металогіка -- металогика -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатов -- логіка існування -- логика существования -- практична логіка -- практическая логика -- логіка дії -- логика действия -- логіка науки -- логика науки -- монізм -- монизм -- плюралізм -- плюрализм -- дискурс -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- класична символічна логіка -- классическая символическая логика -- некласична логіка -- неклассическая логика Анотація: Системи теоретичної логіки (традиційна логіка, символічна логіка), нові напрями логічних досліджень (логіка існування, практична логіка) та прикладної логіки (логіка науки, логіка дискурсу). Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 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) |