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

Бази даних


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

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повний інформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>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
Предметні рубрики (Галузі знань): Кафедра прикладної математики та інформатики
Математика-- підручники та посібники для ВНЗ
Ключові слова (''Вільн.індекс.''): математична логіка--підручники для внз з математики
Примірники : всього 45: фб(1), аб(28), інф.(20)
Вільні : фб(1), аб(28), інф.(20)
Знайти схожі

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.
Знайти схожі

 
Статистика
за 12.04.2022
Кількість запитів 105776
Кількість відвідувачів 465
Кількість замовлень 0
© Бібліотека імені академіка М.О. Лавровського
НДУ імені Миколи Гоголя