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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>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
Предметные рубрики: Математика-- підручники та посібники для ВНЗ
фывфывфыв (''Своб.индексиров.''): комп’ютерна алгебра--математичні моделі--математична логіка--теорія графів--теорія автоматів--формальні мови--дискретна математика
Экземпляры :фб(1)
Свободны : фб(1)
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 16/Г 45
Автор(ы) : Гжегорчик, Анджей
Заглавие : Популярная логика : общедоступный очерк логики предложений . -Изд. 2-е, испр.
Выходные данные : М.: Наука, 1972
Колич.характеристики :112 с
Цена : 0.26 руб.
ГРНТИ : 02.21
ББК : 87
Предметные рубрики: Логіка-- математична логіка
фывфывфыв (''Своб.индексиров.''): математична логіка
Экземпляры : всего : аб(4), фб(1), ав(1), Ч.З.№2(2)
Свободны : аб(4), фб(1), ав(1), Ч.З.№2(2)
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 16/С89
Автор(ы) : Субботин, Александр Леонидович
Заглавие : Традиционная и современная формальная логика : научно-популярная литература
Выходные данные : М.: Наука, 1969
Колич.характеристики :160 с.: рис.
Коллективы : Академия Наук СССР, Институт философии
Примечания : Библиогр.: с.157-159
Цена : 0.49 руб
ГРНТИ : 02.21
ББК : 87
Предметные рубрики: Логіка-- математична логіка
фывфывфыв (''Своб.индексиров.''): силлогистика--гипотеза лукасевича--математична логіка--формальна логіка
Экземпляры : всего : мат.(1), фб(1)
Свободны : мат.(1), фб(1)
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 16/С 88
Автор(ы) : Стяжкин, Николай Иванович
Заглавие : Формирование математической логики : научное издание
Выходные данные : М.: Наука, 1967
Колич.характеристики :508 с
Коллективы : Академия Наук СССР
Примечания : Алф. указ.: с.454-505
Цена : 2.28 руб.
ГРНТИ : 02.21
ББК : 87
Предметные рубрики: Логіка-- математична логіка
Математика-- математична логіка
алгебра логики
история логики
фывфывфыв (''Своб.индексиров.''): математична логіка--символічна логіка
Экземпляры :фб(1)
Свободны : фб(1)
Найти похожие

5.

Вид документа : Однотомное издание
Шифр издания : 16/Г 45
Автор(ы) : Гжегорчик, Анджей
Заглавие : Популярная логика : общедоступный очерк логики предложений . -Изд. 3-е, стереотип.
Выходные данные : М.: Наука, 1979
Колич.характеристики :111 с
Цена : 0.25 руб.
ГРНТИ : 02.21
ББК : 87
Предметные рубрики: Математика-- математична логіка
фывфывфыв (''Своб.индексиров.''): математична логіка--логика предложений
Экземпляры : всего : фб(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
Предметные рубрики: Кафедра прикладної математики та інформатики
Математика-- підручники та посібники для ВНЗ
фывфывфыв (''Своб.индексиров.''): математична логіка--підручники для внз з математики
Экземпляры : всего 41: фб(1), аб(28), інф.(15), мат.(1)
Свободны : фб(1), аб(28), інф.(15), мат.(1)
Найти похожие

7.

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

8.

Вид документа : Статья из журнала
Шифр издания : 22.1р10/Х 64
Автор(ы) : Хмара, Тамара
Заглавие : Математична мова. Квантори існування та загальності
Место публикации : Математика в рідній школі: науково-методичний журнал/ Міністерство освіти і науки України. - К.: Педагогічна преса, 2014. - N 11. - С. 2-4. (Шифр М467300/2014/11)
ББК : 22.1р10
Предметные рубрики: Викладання математики в школі-- математична логіка
фывфывфыв (''Своб.индексиров.''): математична логіка--логіка
Найти похожие

9.

Вид документа : Однотомное издание
Шифр издания : 33/Ш 13
Автор(ы) : Шаблій, Олег Іванович
Заглавие : Математичні методи в соціально-економічній географії : навчальний посібник для студ. географіч. та економіч.фак. вузів
Выходные данные : Львів: Світ, 1994
Колич.характеристики :304 с.: іл.
ISBN, Цена 5-7773-0168-1: 3.00 грн.
ББК : 65.049
Предметные рубрики: Економічна географія-- підручники та посібники для ВНЗ
Соціально-економічна географія світу-- підручники та посібники для ВНЗ
фывфывфыв (''Своб.индексиров.''): экономическая география--економічна географія--соціальна географія--математичні методи--наукове пізнання--теорія ймовірності--лінійна алгебра--теорія графів--математична логіка--теорія множин
Экземпляры :КСХ(1)
Свободны : КСХ(1)
Найти похожие

10.

Вид документа : Статья из журнала
Шифр издания : 372.862:004/К 72
Автор(ы) : Костерна Л. В.
Заглавие : Навчання кодування логічних операцій та виразів у середовищі Scratch
Место публикации : Комп’ютер у школі та сім’ї: Науково-методичний журнал/ Інститут педагогіки АПН України; Інститут інформаційних технологій і засобів навчання АПН України. - К.: Фенікс, 2018. - N 1. - С. 20-26. (Шифр КШС-2/2018/1)
ББК : 372.862:004
Предметные рубрики: Викладання інформатики в школі-- математична логіка
фывфывфыв (''Своб.индексиров.''): математична логіка--навчальний проект--логічний вираз--кодування логічних операцій--середовище scratch
Аннотация: У статті описано один із можливих шляхів навчання тем “Величини логічного типу та операції над ними” і “Розгалуження” з використанням навчального середовища програмування Scratch.
Найти похожие

 
Статистика
за 28.08.2024
Число запросов 89175
Число посетителей 1169
Число заказов 0
© Бібліотека імені академіка М.О. Лавровського
НДУ імені Миколи Гоголя