Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Електронний каталог бібліотеки НДУ ім. Миколи Гоголя- результаты поиска

Вид поиска
Електронний каталог бібліотеки НДУ ім. Миколи Гоголя
Електронна бібліотека НДУ ім. Миколи Гоголя
Рідкісна книга
Ніжинська вища школа на сторінках ЗМІ
Електронний архів краєзнавчих періодичних видань
Електронний каталог бібліотеки Інституту психології імені Г.С.Костюка НАПН України
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=математична логіка<.>
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.
517.8(075.3)
О-75

   
    Основи дискретної математики [Текст] : підручник / Ю. В. Капітонова, С. Л. Кривий, О. А. Летичевський и др ; Національна Академія Наук України, Інститут кібернетики імені В. М. Глушкова, Міжнародний науково-навчальний центр інформаційних технологій та систем, Міністерство освіти і науки України, Національний технічний університет України "Київський політехнічний інститут" . - К. : Наукова думка, 2002. - 580 с. : ил. - Бібліогр.: с. 568-571. - ISBN 966-00-0622-5 (в пер.) : 11.50 грн.
ГРНТИ
27.41.41
ББК 22.174я74
РУБ 517.8(075.3)
Рубрики: Математика--підручники та посібники для ВНЗ
фывфывфыв:
комп’ютерна алгебра -- математичні моделі -- математична логіка -- теорія графів -- теорія автоматів -- формальні мови -- дискретна математика


Доп.точки доступа:
Капітонова, Юлія Володимирівна; Кривий, Сергій Лук'янович; Летичевський, Олександр Адольфович; Луцький, Георгій Михайлович; Печурін, Микола Капітонович; Національна Академія Наук України; Інститут кібернетики імені В. М. Глушкова; Міжнародний науково-навчальний центр інформаційних технологій та систем; Міністерство освіти і науки України; Національний технічний університет України "Київський політехнічний інститут"
Экземпляры всего: 1
фб (1)
Свободны: фб (1)
Найти похожие
2.
16
Г 45

    Гжегорчик, Анджей.
    Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик ; пер. с польск. С. И. Беляева. - Изд. 2-е, испр. - М. : Наука, 1972. - 112 с. - 0.26 руб.
ГРНТИ
02.21
ББК 87
РУБ 16
Рубрики: Логіка--математична логіка
фывфывфыв:
математична логіка


Доп.точки доступа:
Беляев, С.П. \пер.\
Экземпляры всего: 8
аб (4), фб (1), ав (1), Ч.З.№2 (2)
Свободны: аб (4), фб (1), ав (1), Ч.З.№2 (2)
Найти похожие
3.
16
С89

    Субботин, Александр Леонидович.
    Традиционная и современная формальная логика [Текст] : научно-популярная литература / А. Л. Субботин ; Академия Наук СССР, Институт философии. - М. : Наука, 1969. - 160 с. : рис. - Библиогр.: с.157-159 . - 0.49 руб
ГРНТИ
02.21
ББК 87
РУБ 16
Рубрики: Логіка--математична логіка
фывфывфыв:
Силлогистика -- Гипотеза Лукасевича -- математична логіка -- формальна логіка


Доп.точки доступа:
Академия Наук СССР; Институт философии
Экземпляры всего: 2
мат. (1), фб (1)
Свободны: мат. (1), фб (1)
Найти похожие
4.
16
С 88

    Стяжкин, Николай Иванович.
    Формирование математической логики [Текст] : научное издание / Н. И. Стяжкин; Отв. ред. А. Субботин ; Академия Наук СССР. - М. : Наука, 1967. - 508 с. - Алф. указ.: с.454-505 . - 2.28 руб.
ГРНТИ
02.21
ББК 87
РУБ 16
Рубрики: Логіка--математична логіка
   Математика--математична логіка
   алгебра логики
   история логики
фывфывфыв:
математична логіка -- символічна логіка


Доп.точки доступа:
Субботин, А. Л. \ред.\; Платон \о нем\; Аристотель \о нем\; Порфирий (сирийский логик) \о нем\; Лейбниц, Готтфрид Вильгельм \о нем\; Буль, Джордж \о нем\; Гамильтон, У. \о нем\; Академия Наук СССР
Экземпляры всего: 1
фб (1)
Свободны: фб (1)
Найти похожие
5.
16
Г 45

    Гжегорчик, Анджей.
    Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик ; пер. с польск. С. И. Беляева. - Изд. 3-е, стереотип. - М. : Наука, 1979. - 111 с. - 0.25 руб.
ГРНТИ
02.21
ББК 87
РУБ 16
Рубрики: Математика--математична логіка
фывфывфыв:
математична логіка -- логика предложений


Доп.точки доступа:
Беляев, С.П. \пер.\
Экземпляры всего: 2
фб (1), Ч.З.№2 (1)
Свободны: фб (1), Ч.З.№2 (1)
Найти похожие
6.
51(075.35)
Л 63

    Лісова, Тетяна Володимирівна (доцент).
    Математична логіка та теорія алгоритмів [Текст] : практикум із системою тестових завдань : [для студентів всіх спеціальностей]. Ч. 2 / Т. В. Лісова. - Ніжин : ПП Лисенко М. М., 2011. - 116 с. - ISBN 978-966-2213-68-3 : 16.00 грн.
ББК 22.12я73-5
РУБ 51(075.35)
Рубрики: Кафедра прикладної математики та інформатики
   Математика--підручники та посібники для ВНЗ
фывфывфыв:
математична логіка -- підручники для ВНЗ з математики

Экземпляры всего: 45
фб (1), аб (28), інф. (15), мат. (1)
Свободны: фб (1), аб (28), інф. (15), мат. (1)
Найти похожие
7.
22.1г
Я 49

    Якубов, Максим.
    Микола Маркович Роженко [Текст] / М. Якубов, Н. Костюк // Освіта і управління : Науково-практичний журнал. - 2013. - Том 16, N 1/2. - С. 155-165
ББК 22.1г
Рубрики: Математика--персоналії математиків
   Математика--математична логіка
   Філософи України
фывфывфыв:
математична логіка -- квантова логіка
Аннотация: Спеціалізувався в галузі квантової логіки — розділу сучасної некласичної математичної логіки.


Доп.точки доступа:
Костюк, Нінель; Роженко, Микола Маркович (український філософ ; 1936-2012)

Имеются экземпляры в отделах: всего 1 : Ч.З.№2 (1)
Свободны: Ч.З.№2 (1)

Найти похожие
8.
22.1р10
Х 64

    Хмара, Тамара.
    Математична мова. Квантори існування та загальності [Текст] / Т. Хмара // Математика в рідній школі : науково-методичний журнал. - 2014. - N 11. - С. 2-4.
ББК 22.1р10
Рубрики: Викладання математики в школі--математична логіка
фывфывфыв:
математична логіка -- логіка


Имеются экземпляры в отделах: всего 1 : Ч.З.№2 (1)
Свободны: Ч.З.№2 (1)

Найти похожие
9.
33
Ш 13
б-ка Смаль В. В. / Ш 13-КСХ

    Шаблій, Олег Іванович.
    Математичні методи в соціально-економічній географії [Текст] : навчальний посібник для студ. географіч. та економіч.фак. вузів / О. І. Шаблій. - Львів : Світ, 1994. - 304 с. : іл. - ISBN 5-7773-0168-1 : 3.00 грн.
ББК 65.049
РУБ 33
Рубрики: Економічна географія--підручники та посібники для ВНЗ
   Соціально-економічна географія світу--підручники та посібники для ВНЗ
фывфывфыв:
экономическая география -- економічна географія -- соціальна географія -- математичні методи -- наукове пізнання -- теорія ймовірності -- лінійна алгебра -- теорія графів -- математична логіка -- теорія множин

Экземпляры всего: 1
КСХ (1)
Свободны: КСХ (1)
Найти похожие
10.
372.862:004
К 72

    Костерна, Л. В.
    Навчання кодування логічних операцій та виразів у середовищі Scratch [Текст] / Л. В. Костерна // Комп’ютер у школі та сім’ї : Науково-методичний журнал. - 2018. - N 1. - С. 20-26.
ББК 372.862:004
Рубрики: Викладання інформатики в школі--математична логіка
фывфывфыв:
математична логіка -- навчальний проект -- логічний вираз -- кодування логічних операцій -- середовище Scratch
Аннотация: У статті описано один із можливих шляхів навчання тем “Величини логічного типу та операції над ними” і “Розгалуження” з використанням навчального середовища програмування Scratch.


Имеются экземпляры в отделах: всего 1 : інф. (1)
Свободны: інф. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
Статистика обращений
Статистика
за 25.06.2024
Число запросов 68273
Число посетителей 1327
Число заказов 0
© Бібліотека імені академіка М.О. Лавровського
НДУ імені Миколи Гоголя