Бібліотека Київського столичного університету імені Бориса Грінченка

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Електронний каталог бібліотеки

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>K=математична логіка<.>)

Загальна кількість знайдених документів : 11
Показані документи с 1 за 11

16
Б 73

Богдановський, Ігор Валерійович.
Логіка [Текст] : опорний конспект лекцій / І. В. Богдановський, О. Г. Льовкіна. - Київ : МАУП, 2004. - 168 с. - ISBN 966-608-450-3 : 3.20 грн.

ДРНТІ	02.21
УДК	16

Рубрики: Логіка--Підручник для вузів

Кл.слова (ненормовані):
логіка -- математична логіка -- символічна логіка
Дод.точки доступу:
Льовкіна, О.Г.

Примірників всього: 2
Вул. Левка Лук'яненка, 13-Б Абонемент (2)
Вільні:
Вул. Левка Лук'яненка, 13-Б Абонемент (2)

Знайти схожі

   51-027.22
   Р 83

    Рудик, О. Б.
    Спеціальний курс "Прикладна математика" й олімпіада з інформатики у м. Києві у 2004-2005 навчальному році : навчальний посыбник / О. Б. Рудик. - Київ : КМПУ ім. Б. Д. Грінченка, 2009. - 261 с. - ISBN 9789667548704 : 24.20 грн.

ДРНТІ	20
УДК	51-027.22:[37.091.33:004](075.8)	37.091.33:004](075.8)	004(075.8)

Рубрики: Шкільні олімпіади--Навчальні видання

Прикладна математика--Завдання

Кл.слова (ненормовані):
математична логіка -- комбінаторика -- цілі числа й кільце многочленів -- дійсні числа -- планіметрія -- стереометрія -- методи оптимізації -- графи -- теорія ігор
Анотація: У посібнику подано умови та розв'язання деяких задач учнівських олімпіад з інформатики минулих років,що відповідають рівню базових задач і допомагають повніше висвітлити програму курсу.

Примірників всього: 1
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)

Знайти схожі

373.3.016:502
С 91

Сухіна, Л. А.
Методика природничо-математичних дисциплін початкових класів у питаннях та відповідях : методичні рекомендації / Л. А. Сухіна, Н. М. Борисенко ; рецензент В. Д. Шарко. - Херсон : Айлант, 2007. - 84 с. - 10.00 грн.

ДРНТІ	14
УДК	373.3.016:502

Рубрики: Педагогіка --Методика викладання--Методичні посібники

Кл.слова (ненормовані):
математична логіка -- нумерація чисел -- письмове множення -- алгебраїчний матеріал -- геометричний матеріал
Дод.точки доступу:
Борисенко, Н. М.
Шарко, В. Д. \рецензент.\

Примірників всього: 1
Бульвар І. Шамо, 18/2 (1)
Вільні:
Бульвар І. Шамо, 18/2 (1)

Знайти схожі

519.854(075.8)
М 33

Матвієнко, Микола Павлович.
Дискретна математика XXI століття : підручник / М. П. Матвієнко ; Міністерство освіти і науки України, Конотопський інститут Сумського державного університету. - Вид. 2-ге перероб. і допов. - Київ : Ліра-К, 2017. - 323 с. : рис., табл. - Літ.: с. 321-323. - ISBN 978-966-2609-32-5 : 215.00 грн.

ДРНТІ	27.47
УДК	519.854(075.8)

Рубрики: Дискретна математика--Навчальні видання для вищої школи

Кл.слова (ненормовані):
теорія множин -- теорія відношень -- елементи теорії чисел -- комбінаторика -- алгебраїчні структури -- логіка Буля -- логіка Жегалкіна -- математична логіка -- нечітка логіка -- теорія графів -- дерева (мат.) -- мови та граматики -- теорії алгоритмів -- теорії кодування -- теорії захисту інформації -- основи теорії автоматів
Анотація: Викладено основні поняття дискретної математики згідно галузевого стандарту вищої освіти України з комп'ютерних і других наук. Теоретичний матеріал книги проілюстровано значною кількістю вправ і задач для набуття читачам практичного досвіду.
Дод.точки доступу:
Міністерство освіти і науки України
Конотопський інститут Сумського державного університету

Примірників всього: 10
Вул. Левка Лук'яненка, 13-Б Абонемент (10)
Вільні:
Вул. Левка Лук'яненка, 13-Б Абонемент (10)

Знайти схожі

Костерна, Лариса Володимирівна.
Навчання кодування логічних операцій та виразів у середовищі SCRATCH [Текст] / Л. В. Костерна // Комп’ютер у школі та сім’ї : науково-методичний журнал. - 2018. - № 1. - С. 20-25. - Бібліогр. в кінці ст. . - ISSN 2307-9851

Кл.слова (ненормовані):
математична логіка -- розгалуження -- навчальний проект -- логічний вираз

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Замовлені прим-ки для відділів: Ф1 ЧЗ

Знайти схожі

Шифр: М021125/2019/22/24
Журнал

Математика в школах України [Текст] : науково-методичний журнал/ Міністерство освіти і науки України. - Київ : Основа, 2002 - . - Виходить тричі на місяць
2019р. № 22/24

Зміст:
Кононенко, Л. М. Ще раз про культуру обчислень у природничій освіті школярів : (про єдиний обчислювальний режим у школі) / Л. М. Кононенко [и др.]. - С.5-11. - Бібліогр.: 9 назв
Інші автори: Тертична Ю. О., Ятвецька Л. І., Ятвецький В. М.
Кл.слова: культура обчислень, природнича освіта, обчислювальний режим
Бродський, Я. С. Про конструювання системи задач / Я. С. Бродський. - С.12-28. - Бібліогр.: 10 назв
Кл.слова: система задач, конструювання, математична освіта
Бас, В. М. Пропедевтика вивчення геометрії в 5 та 6 класах / В. М. Бас, С. В. Бас, М. Пугач. - С.29-33
Кл.слова: геометрія, 5 клас, 6 клас
Прохоров, В. Б. Орієнтовний календарно-тематичний план вивчення алгебри і початків аналізу, геометрії в 11 класі на 2019/2020 н. р. : рівень стандарту / В. Б. Прохоров. - С.33-39
Кл.слова: планування, алгебра, початки аналізу
ІПрохоров, В. Б. Орієнтовний календарно-тематичний план вивчення алгебри і початків аналізу, геометрії в 11 класі на 2019/20 н. р. : профільний рівень / В. Б. ІПрохоров. - С.39-52
Кл.слова: календарно-тематичний план, алгебра, геометрія
Шишко, І. М. Вибрані питання математики : навчальна програма факультативного курсу. 7 клас / І. М. Шишко. - С.52-55
Кл.слова: навчальна програма, питання математики, факультатив
Євтушок, М. П. Дії зі звичайними дробами : розв"язання вправ. 6 клас / М. П. Євтушок. - С.55-58
Кл.слова: урок математики, звичайні дроби, 6 клас
Данилюк, М. М. Відрізки : самостійна робота. 7 клас / М. М. Данилюк. - С.59-60
Кл.слова: самостійна робота, відрізки, 7 клас
Коцюруба, Н. П. Розв"язування вправ та задач на всі дії зі звичайними дробами : 6 клас / Н. П. Коцюруба. - С.61-64
Кл.слова: урок математики, звичайні дроби, задача
Бондаренко, Г. Б. Трапеція. Види і властивості трапеції : 8 клас / Г. Б. Бондаренко. - С.64-68
Кл.слова: урок математики, трапеція, вдастивість трапеції
Берін, В. в. Координати середини відрізка : 9 клас / В. в. Берін. - С.69-72
Кл.слова: 69-71, відрізок, урок математики
Сирнікова, О. О. Властивості множення раціональних чисел. Перестановна і сполучна властивситі : 7 клас / О. О. Сирнікова. - С.72-74
Кл.слова: множення, урок математики, перестановна властивість
Балан, Н. К. Чотирикутники а їх властивості : 8 клас / Н. К. Балан. - С.75-76
Кл.слова: задача, чотирикутник, 8 клас
Бондар, С. М. Логарифмічна функція, її властивостіта графік : 11 клас / С. М. Бондар. - С.77-84
Кл.слова: логарифмічна функція, властиврсті функції, графік
Красножон, К. В. Натуральні числа. Число нуль : урок-казка. 5 клас / К. В. Красножон. - С.85-88
Кл.слова: урок математики, натуральні числа, 5 клас
Нестеренко, В. А. Дії зі звичайними дробами : математика та українська література. 6 клас / В. А. Нестеренко. - С.88-91
Кл.слова: урок математики, звичайні дроби, математика
Красножон, К. В. Пряма. Промінь. Відрізок. Вимірювання відрізків : урок-казка. 7 клас / К. В. Красножон. - С.92-93
Кл.слова: пряма, урок математики, промінь
Семенова, Т. О. Правильні многогранники : математика та хімія. 11 клас / Т. О. Семенова, І. В. Дзюба. - С.94-96
Кл.слова: урок математики, правильні многогранники, математика
Титова, Н. Б. Логарифми та їх властивості : алгебра та астрономія. 11 клас / Н. Б. Титова. - С.97-102
Кл.слова: урок математики, логарифми, алгебра
Василенко О., Олександр. Між аксіом і теорем : календар від "Серенади Математиці" / Олександр Василенко О. - С.102-110
Кл.слова: математика ДавньоїРусі, математична логіка, діаграми
Є примірники у відділах: всього 2 : Ф3 (1), ГП ЧЗ (1)
Вільні: Ф3 (1), ГП ЧЗ (1)

Знайти схожі
Перейти до описів статей

   004.43
   D29


    Declarative Logic Programming: Theory, Systems, and Applications / Association for Computing Machinery ; editor: M. Kifer, Y. A. Liu. - New York : ACM Books, 2018. - 595 p. - ISBN 978-1-970001-99-0 : Б. ц.
Переклад назви: Декларативне логічне програмування: теорія, системи та програми

ДРНТІ	20
УДК	004.43:510.755	510.755

Рубрики: Інформаційні технології--Мови програмування

Логічне програмування

Кл.слова (ненормовані):
математична логіка -- бази даних -- мови програмування
Анотація: Логічне програмування (LP) - це напрямок представлення знань, AI, математичної логіки, баз даних та мов програмування. Це дозволяє програмуванню бути більш декларативним, вказавши "що" робити замість "як" це зробити.

Дод.точки доступу:
Kifer, Michael \editor.\
Liu, Yanhong Annie \editor.\
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

Василенко О., Олександр.
Між аксіом і теорем : календар від "Серенади Математиці" / Олександр Василенко О. // Математика в школах України : науково-методичний журнал. Заснований у серпні 2002 р. - 2019. - N 22/23/24. - С. 102-110

Рубрики: Математика--видатні математики--історія математики

Кл.слова (ненормовані):
математика ДавньоїРусі -- математична логіка -- діаграми -- диференціальний гнометр -- магічні квадрати -- початки геометрії -- варіаційне числення -- аналітична теорія нелінійних диіеренціальних рівнянь
Анотація: Стаття подає відомості про видатних математиків, дати народження чи смерті яких припадають на першу, другу та третю декаду серпня.
Дод.точки доступу:
Воробйов, Леонід Михайлович \про нього\
Громмер, Яків Пінкусович \про нього\
Кузинський, Миколай \про нього\
Гессенберг, Герхард \о нем\

Є примірники у відділах: всього 2 : Ф3 (1), ГП ЧЗ (1)
Вільні: Ф3 (1), ГП ЧЗ (1)

Знайти схожі

811.111:510.6
A38

Allwood, Jens.
Logic in linguistics / J. Allwood, L. -G. Andersson, O. Dahl. - Cambridge : Cambridge University Press, 1995. - 185 p. - (Cambridge textbooks in linguistics). - ISBN 0-521-29174-7 : 100.00 грн.

ДРНТІ	16.21
УДК	811.111:510.6	510.6

Рубрики: Англійська мова--Лінгвістика--Математична логіка

Кл.слова (ненормовані):
mathematical logic -- sentences and propositions -- analytic and synthetic sentences -- connectives -- logical connectives -- лінгвістика -- математична логіка -- речення і пропозиції -- аналітичні та синтетичні речення -- сполучники -- логічні сполучники
Дод.точки доступу:
Andersson, Lars-Gunnar
Dahl, Östen

Примірників всього: 1
Вул. Левка Лук'яненка, 13-Б Абонемент (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б Абонемент (1)

Знайти схожі

10.

   16
   Л 69


    Логіка для юристів : навчальний посібник для підготовки до іспитів / упорядник: І. В. Тетарчук, Т. Є. Дяків. - Київ : Центр учбової літератури, 2022. - 148 с. - ISBN 978-611-01-0543-9 : 170.00 грн.

ДРНТІ	02.21
УДК	16:34-051(075.8)

Рубрики: Логіка--Навчальні видання для вищих навчальних закладів

Кл.слова (ненормовані):
математична логіка -- теоретична і практична логіка -- мислення -- мислення юриста -- функції формальної логіки -- поняття -- судження -- закони логіки -- умовивід -- аргументація -- доказ -- гіпотеза
Анотація: Юристи у своїй діяльності широко використовують такі логічні категорії як: поняття, судження, умовивід, закон, аналогія, версія, спростування, доказ і заперечення, знання яких значно підвищують культуру мислення, професійний рівень сучасного фахівця. Структура навчального посібника побудована на найбільш оптимальному та легкому поданні матеріалу студентам - у запитаннях і відповідях. Посібник стане у нагоді для всіх, хто бажає освоїти навчальний курс "Логіка".
Дод.точки доступу:
Тетарчук, І. В. \упорядник.\
Дяків, Т. Є. \упорядник.\

Примірників всього: 1
Фаховий коледж «Універсум» (1)
Вільні:
Фаховий коледж «Універсум» (1)

Знайти схожі

11.

   510.6
   В 68

    Волошин, Олексій Федорович.
    Нечітка математика [Текст] : навчальний посібник / О. Ф. Волошин, В. О. Лавер ; Міністерство освіти і науки України, Київський національний університет імені Тараса Шевченка. - Київ : ВПЦ "Київський університет", 2023. - 111 с. - 50.00 грн.

ДРНТІ	27.03
УДК	510.644.4(075.8)+512.64+519.85	512.64	519.85

Рубрики: Нечітка математика--Навчальні видання для вищих навчальних закладів

Кл.слова (ненормовані):
математична логіка -- нечіткі лінійні рівняння -- нечіткі числа -- математичне праграмування -- нечіткі множини
Дод.точки доступу:
Лавер, Василь Олександрович
Міністерство освіти і науки України
Київський національний університет імені Тараса Шевченка

Примірників всього: 1
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)
Вільні:
Вул. Левка Лук'яненка, 13-Б Читальний зал (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)