О-75 Основи дискретної математики [Текст] : підручник / Ю. В. Капітонова, С. Л. Кривий, О. А. Летичевський и др ; Національна Академія Наук України, Інститут кібернетики імені В. М. Глушкова, Міжнародний науково-навчальний центр інформаційних технологій та систем, Міністерство освіти і науки України, Національний технічний університет України "Київський політехнічний інститут" . - К. : Наукова думка, 2002. - 580 с. : ил. - Бібліогр.: с. 568-571. - ISBN 966-00-0622-5 (в пер.) : 11.50 грн.
РУБ 517.8(075.3) Рубрики: Математика--підручники та посібники для ВНЗ Кл.слова (ненормовані): комп’ютерна алгебра -- математичні моделі -- математична логіка -- теорія графів -- теорія автоматів -- формальні мови -- дискретна математика Дод.точки доступу: Капітонова, Юлія Володимирівна; Кривий, Сергій Лук'янович; Летичевський, Олександр Адольфович; Луцький, Георгій Михайлович; Печурін, Микола Капітонович; Національна Академія Наук України; Інститут кібернетики імені В. М. Глушкова; Міжнародний науково-навчальний центр інформаційних технологій та систем; Міністерство освіти і науки України; Національний технічний університет України "Київський політехнічний інститут" Примірників всього: 1 фб (1) Свободны: фб (1) |
Г 45 Гжегорчик, Анджей. Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик ; пер. с польск. С. И. Беляева. - Изд. 2-е, испр. - М. : Наука, 1972. - 112 с. - 0.26 руб.
РУБ 16 Рубрики: Логіка--математична логіка Кл.слова (ненормовані): математична логіка Дод.точки доступу: Беляев, С.П. \пер.\ Примірників всього: 8 аб (4), фб (1), ав (1), Ч.З.№2 (2) Свободны: аб (4), фб (1), ав (1), Ч.З.№2 (2) |
С89 Субботин, Александр Леонидович. Традиционная и современная формальная логика [Текст] : научно-популярная литература / А. Л. Субботин ; Академия Наук СССР, Институт философии. - М. : Наука, 1969. - 160 с. : рис. - Библиогр.: с.157-159 . - 0.49 руб
РУБ 16 Рубрики: Логіка--математична логіка Кл.слова (ненормовані): Силлогистика -- Гипотеза Лукасевича -- математична логіка -- формальна логіка Дод.точки доступу: Академия Наук СССР; Институт философии Примірників всього: 2 мат. (1), фб (1) Свободны: мат. (1), фб (1) |
С 88 Стяжкин, Николай Иванович. Формирование математической логики [Текст] : научное издание / Н. И. Стяжкин; Отв. ред. А. Субботин ; Академия Наук СССР. - М. : Наука, 1967. - 508 с. - Алф. указ.: с.454-505 . - 2.28 руб.
РУБ 16 Рубрики: Логіка--математична логіка Математика--математична логіка алгебра логики история логики Кл.слова (ненормовані): математична логіка -- символічна логіка Дод.точки доступу: Субботин, А. Л. \ред.\; Платон \о нем\; Аристотель \о нем\; Порфирий (сирийский логик) \о нем\; Лейбниц, Готтфрид Вильгельм \о нем\; Буль, Джордж \о нем\; Гамильтон, У. \о нем\; Академия Наук СССР Примірників всього: 1 фб (1) Свободны: фб (1) |
Г 45 Гжегорчик, Анджей. Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик ; пер. с польск. С. И. Беляева. - Изд. 3-е, стереотип. - М. : Наука, 1979. - 111 с. - 0.25 руб.
РУБ 16 Рубрики: Математика--математична логіка Кл.слова (ненормовані): математична логіка -- логика предложений Дод.точки доступу: Беляев, С.П. \пер.\ Примірників всього: 2 фб (1), Ч.З.№2 (1) Свободны: фб (1), Ч.З.№2 (1) |
Л 63 Лісова, Тетяна Володимирівна (доцент). Математична логіка та теорія алгоритмів [Текст] : практикум із системою тестових завдань : [для студентів всіх спеціальностей]. Ч. 2 / Т. В. Лісова. - Ніжин : ПП Лисенко М. М., 2011. - 116 с. - ISBN 978-966-2213-68-3 : 16.00 грн. РУБ 51(075.35) Рубрики: Кафедра прикладної математики та інформатики Математика--підручники та посібники для ВНЗ Кл.слова (ненормовані): математична логіка -- підручники для ВНЗ з математики Примірників всього: 45 фб (1), аб (28), інф. (15), мат. (1) Свободны: фб (1), аб (28), інф. (15), мат. (1) |
Я 49 Якубов, Максим. Микола Маркович Роженко [Текст] / М. Якубов, Н. Костюк> // Освіта і управління : Науково-практичний журнал. - 2013. - Том 16, N 1/2. - С. 155-165 Рубрики: Математика--персоналії математиків Математика--математична логіка Філософи України Кл.слова (ненормовані): математична логіка -- квантова логіка Анотація: Спеціалізувався в галузі квантової логіки — розділу сучасної некласичної математичної логіки. Дод.точки доступу: Костюк, Нінель; Роженко, Микола Маркович (український філософ ; 1936-2012) Є примірники у відділах: всього 1 : Ч.З.№2 (1) Вільні: Ч.З.№2 (1) |
Х 64 Хмара, Тамара. Математична мова. Квантори існування та загальності [Текст] / Т. Хмара> // Математика в рідній школі : науково-методичний журнал. - 2014. - N 11. - С. 2-4. Рубрики: Викладання математики в школі--математична логіка Кл.слова (ненормовані): математична логіка -- логіка Є примірники у відділах: всього 1 : Ч.З.№2 (1) Вільні: Ч.З.№2 (1) |
Ш 13 б-ка Смаль В. В. / Ш 13-КСХ Шаблій, Олег Іванович. Математичні методи в соціально-економічній географії [Текст] : навчальний посібник для студ. географіч. та економіч.фак. вузів / О. І. Шаблій. - Львів : Світ, 1994. - 304 с. : іл. - ISBN 5-7773-0168-1 : 3.00 грн. РУБ 33 Рубрики: Економічна географія--підручники та посібники для ВНЗ Соціально-економічна географія світу--підручники та посібники для ВНЗ Кл.слова (ненормовані): экономическая география -- економічна географія -- соціальна географія -- математичні методи -- наукове пізнання -- теорія ймовірності -- лінійна алгебра -- теорія графів -- математична логіка -- теорія множин Примірників всього: 1 КСХ (1) Свободны: КСХ (1) |
К 72 Костерна, Л. В. Навчання кодування логічних операцій та виразів у середовищі Scratch [Текст] / Л. В. Костерна> // Комп’ютер у школі та сім’ї : Науково-методичний журнал. - 2018. - N 1. - С. 20-26. Рубрики: Викладання інформатики в школі--математична логіка Кл.слова (ненормовані): математична логіка -- навчальний проект -- логічний вираз -- кодування логічних операцій -- середовище Scratch Анотація: У статті описано один із можливих шляхів навчання тем “Величини логічного типу та операції над ними” і “Розгалуження” з використанням навчального середовища програмування Scratch. Є примірники у відділах: всього 1 : інф. (1) Вільні: інф. (1) |