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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

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

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

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

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

Форма документа : Однотомне видання
Шифр видання : 16/Б 73
Автор(и) : Богдановський, Ігор Валерійович, Льовкіна О.Г.
Назва : Логіка : опорний конспект лекцій
Вихідні дані : Київ: МАУП, 2004
Кільк.характеристики :168 с
ISBN, Ціна 966-608-450-3:
ДРНТІ : 02.21
УДК : 16
Предметні рубрики: Логіка
Ключові слова (''Вільн.індекс.''): логіка--математична логіка--символічна логіка
Примірники : всього : ГП АБ(2)
Вільні : ГП АБ(2)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 51-027.22/Р 83
Автор(и) : Рудик О. Б.
Назва : Спеціальний курс "Прикладна математика" й олімпіада з інформатики у м. Києві у 2004-2005 навчальному році : навчальний посыбник
Вихідні дані : Київ: КМПУ ім. Б. Д. Грінченка, 2009
Кільк.характеристики :261 с
ISBN, Ціна 9789667548704: Б.ц.
ДРНТІ : 20
УДК : 51-027.22:[37.091.33:004](075.8) + 37.091.33:004](075.8) + 004(075.8)
Предметні рубрики: Шкільні олімпіади
Прикладна математика-- Завдання
Анотація: У посібнику подано умови та розв'язання деяких задач учнівських олімпіад з інформатики минулих років,що відповідають рівню базових задач і допомагають повніше висвітлити програму курсу.
Примірники :ГП ЧЗ(1)
Вільні : ГП ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 373.3.016:502/С 91
Автор(и) : Сухіна Л. А., Борисенко Н. М.
Назва : Методика природничо-математичних дисциплін початкових класів у питаннях та відповідях : методичні рекомендації
Вихідні дані : Херсон: Айлант, 2007
Кільк.характеристики :84 с
Ціна : 10.00, 10.00, грн.
ДРНТІ : 14
УДК : 373.3.016:502
Предметні рубрики: Педагогіка -- Методика викладання
Ключові слова (''Вільн.індекс.''): математична логіка--нумерація чисел--письмове множення--алгебраїчний матеріал--геометричний матеріал
Примірники :Ф2(1)
Вільні : Ф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)
Вільні : ГП АБ(9)
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Костерна, Лариса Володимирівна
Назва : Навчання кодування логічних операцій та виразів у середовищі SCRATCH
Місце публікування : Комп’ютер у школі та сім’ї: науково-методичний журнал/ Інститут педагогіки НАПН України, Ін-т інформ. технологій і засобів навчання НАПН України. - Київ, 2018. - № 1. - С. 20-25. - ISSN 23079851 (Шифр К614139/2018/1). - ISSN 23079851
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): математична логіка--розгалуження--навчальний проект--логічний вираз
Знайти схожі

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

Форма документа : Однотомне видання
Шифр видання : 004.43/D29
Назва : Declarative Logic Programming: Theory, Systems, and Applications
Вихідні дані : New York: ACM Books, 2018
Кільк.характеристики :595 с
Колективи : Association for Computing Machinery
ISBN, Ціна 978-1-970001-99-0:
ДРНТІ : 20
УДК : 004.43:510.755 + 510.755
Предметні рубрики: Інформаційні технології-- Мови програмування
Логічне програмування
Ключові слова (''Вільн.індекс.''): математична логіка--бази даних--мови програмування
Анотація: Логічне програмування (LP) - це напрямок представлення знань, AI, математичної логіки, баз даних та мов програмування. Це дозволяє програмуванню бути більш декларативним, вказавши "що" робити замість "як" це зробити.
Примірники :Сервер(1)
Вільні : Сервер(1)

Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Василенко О., Олександр
Назва : Між аксіом і теорем : календар від "Серенади Математиці"
Місце публікування : Математика в школах України: науково-методичний журнал. Заснований у серпні 2002 р. - Харків: ТОВ "Видавнича група "Основа", 2019. - N 22/23/24. - С. 102-110 (Шифр М021125/2019/22/24)
Предметні рубрики: Математика-- видатні математики-- історія математики
Ключові слова (''Вільн.індекс.''): математика давньоїрусі--математична логіка--діаграми--диференціальний гнометр--магічні квадрати--початки геометрії--варіаційне числення--аналітична теорія нелінійних диіеренціальних рівнянь
Анотація: Стаття подає відомості про видатних математиків, дати народження чи смерті яких припадають на першу, другу та третю декаду серпня.
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 811.111:510.6/A38
Автор(и) : Allwood, Jens, Andersson, Lars-Gunnar, Dahl, Östen
Назва : Logic in linguistics
Вихідні дані : Cambridge: Cambridge University Press, 1995
Кільк.характеристики :185 с
Серія: 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--лінгвістика--математична логіка--речення і пропозиції--аналітичні та синтетичні речення--сполучники--логічні сполучники
Примірники :ГП АБ(1)
Вільні : ГП АБ(1)
Знайти схожі

10.

Форма документа : Однотомне видання
Шифр видання : 16/Л 69
Назва : Логіка для юристів : навчальний посібник для підготовки до іспитів
Вихідні дані : Київ: Центр учбової літератури, 2022
Кільк.характеристики :148 с
ISBN, Ціна 978-611-01-0543-9: 170.00 грн.
ДРНТІ : 02.21
УДК : 16:34-051(075.8)
Предметні рубрики: Логіка
Ключові слова (''Вільн.індекс.''): математична логіка--теоретична і практична логіка--мислення--мислення юриста--функції формальної логіки--поняття--судження--закони логіки--умовивід--аргументація--доказ--гіпотеза
Анотація: Юристи у своїй діяльності широко використовують такі логічні категорії як: поняття, судження, умовивід, закон, аналогія, версія, спростування, доказ і заперечення, знання яких значно підвищують культуру мислення, професійний рівень сучасного фахівця. Структура навчального посібника побудована на найбільш оптимальному та легкому поданні матеріалу студентам - у запитаннях і відповідях. Посібник стане у нагоді для всіх, хто бажає освоїти навчальний курс "Логіка".
Примірники :Ф3(1)
Вільні : Ф3(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)
Вільні : ГП ЧЗ(1)
Знайти схожі

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