![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 33
Представлено документи з 1 до 20
|
| |
| | | | |
1. |
Тарєлкін Ю. П. Основи формальної логіки : Навч. посіб. для студ. гуманіт. спец. вузів / Ю. П. Тарєлкін; Сум. держ. пед. ін-т. - Суми, 1998. - 70 c. - Бібліогр.: 23 назв. - укp.Подано основні відомості з формальної логіки. Розкриваються предмет, значення та поняття логіки. На конкретних прикладах показано основні формально-логічні закони: закон тотожності, суперечності, виключеного третього, достатньої підстави. Розглядаються прості та складні судження, безпосередні, індуктивні, а також дедуктивні умовиводи, традиційна силогістика. Наведено логічну структуру та правила доведення і спростування. Індекс рубрикатора НБУВ: Ю4 я73 + В121 я73
Рубрики:
Шифр НБУВ: ВА587117 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Нікітченко М. С. Математична логіка : Навч. посіб. / М. С. Нікітченко, С. С. Шкільняк; Київ. нац. ун-т ім. Т.Шевченка. - К., 2003. - 120 c. - Бібліогр.: 30 назв. - укp.Описано композиційні системи еквітонних функцій та предикатів. Розглянуто мову пропозиційної логіки, реномінативної неокласичної логіки, а також логіки першого порядку, метод автоморфізмів, теореми про гомоморфізми, повноту і неповноту, компактності. Описаны композиционные системы эквитонных функций и предикатов. Рассмотрены язык пропозиционной логики, реноминативной неоклассической логики, а также логики первого порядка, метод автоморфизмов, теоремы о гомоморфизмах, полноте и неполноте, компактности. Індекс рубрикатора НБУВ: В121я73
Шифр НБУВ: ВА651018 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Зыков А. А. Логико-философское введение в высшую математику : Учеб. пособие / А. А. Зыков. - О. : Астропринт, 2003. - 115 c. - Библиогр.: с. 115 - рус.Рассмотрена сущность понятий абстракции и идеализации в науке как предмет математики. Раскрыты природа диалектики, а также содержание понятий счетного и несчетного множества, высказывания, логических тождеств и реального мира, отражения, кванторов, математической индукции и логики. Проанализированы отношения эквивалентности и порядка. Індекс рубрикатора НБУВ: В121 + В1 в55
Рубрики:
Шифр НБУВ: ВА653175 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Московкин В. М. Пьер-Франсуа Верхульст - забытый первооткрыватель закона логистического роста и один из основателей экономической динамики / В. М. Московкин, А. В. Журавка // Наука та наукознавство. - 2003. - № 2. - С. 75-84. - Библиогр.: 12 назв. - рус.Надано детальний аналіз наукової творчості П'єра-Франсуа Верхульста в галузі побудови математичної теорії динаміки народонаселення, показано вплив Мальтуса та Кетле на його наукові погляди. Зроблено висновок, що П.-Ф. Верхульст є не тільки незаслужено забутим першовідкривачем логістичного закону росту, який зараз використовується у багатьох областях знань, але й одним з засновників економічної динаміки. Індекс рубрикатора НБУВ: У.в611.6д + В121д
Шифр НБУВ: Ж14597 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Шушура А. Н. Логика в системах искусственного интеллекта : метод. вказівки до лекцій / А. Н. Шушура; Донец. держ. ін-т штуч. інтелекту. - 2-е вид. - Донецьк : ІПШІ "Наука і освіта", 2004. - 85 c. - Бібліогр.: с. 83. - рус.Освещены теоретические основы алгебры высказываний, предикатов, множеств и нечеткой логики. Рассмотрены равносильные преобразования и нормальные формы правильно построенной формулы алгебры высказываний. Приведены алгоритмы Квайна и Дэвиса-Патнема для проверки формул алгебры высказываний на выполнимость. Показаны возможности применения алгебры высказываний в релейно-контактных схемах. Изложены общие сведения о формальных аксиоматических теориях, даны методы исчисления высказываний. Рассмотрена классификация формул алгебры высказываний, предикатов, нечетких множеств. Описаны основные операции над предикатами, множествами и нечеткими числами. Раскрыта сущность отношений, охарактеризованы их свойства и виды. Сформулировано определение понятия нечеткой и лингвистической переменной, приведена теорема дедукции исчисления высказываний. Індекс рубрикатора НБУВ: З970.5-01 я73-2 + В121 я73-2
Рубрики:
Шифр НБУВ: ВА695455 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Любченко К. М. Елементи математичної логіки з комп'ютерною підтримкою : Посіб. для вчителів / К. М. Любченко, Ю. В. Триус; Черкас. нац. ун-т ім. Б.Хмельницького. - Черкаси, 2004. - 87 c. - Бібліогр.: с. 73. - укp.Розглянуто засаду математичної логіки - алгебру висловлювань (АВ). Розкрито суть поняття висловлювання. Запропоновано критерій рівносильності формул, описано основні властивості логічних операцій, а також класи формул АВ. Проаналізовано особливості з'ясування логічної правильності міркувань за допомогою методу резолюцій. Визначено основні можливості програми Master of Logіc. Рассмотрена основа математической логики - алгебра высказываний (АВ). Раскрыта сущность понятия высказывания. Предложен критерий равносильности формул, описаны основные свойства логических операций, а также классы формул АВ. Проанализированы особенности согласования логической правильности размышлений с помощью метода резолюций. Определены основные возможности программы Master of Logic. Індекс рубрикатора НБУВ: В121 р(4УКР)21-34
Рубрики:
Шифр НБУВ: ВА651835 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Якимова Н. А. Математическая логика : Курс лекций для студ. / Н. А. Якимова; Одес. нац. ун-т им. И.И.Мечникова. - О. : Астропринт, 2004. - 76 c. - Библиогр.: 6 назв. - рус.Рассмотрены операции математической логики, освещены некоторые виды алгебр логического типа. Описаны методы минимизации логических функций, приведена их естественно-языковая интерпретация. Індекс рубрикатора НБУВ: В121я73-2
Шифр НБУВ: ВА653178 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Брусенцов Н. П. Интеллектуализация математической логики / Н. П. Брусенцов // Искусств. интеллект. - 2006. - № 2. - С. 18-20. - Библиогр.: 9 назв. - рус.Содержательность логики, утраченная в результате отклонения от аристотелева истолкования отношения следования, восстановлена посредством принципа сосуществования противоположностей. Індекс рубрикатора НБУВ: В121в5
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Воронцов К. В. Эмпирические оценки локальной функции роста в задачах поиска логических закономерностей / К. В. Воронцов, А. А. Ивахненко // Искусств. интеллект. - 2006. - № 2. - С. 281-284. - Библиогр.: 4 назв. - рус.Предложена методика эмпирического оценивания эффективной локальной функции роста для семейств логических закономерностей. Результаты экспериментов позволяют выдвинуть гипотезу, что в реальных задачах классификации эффективная локальная функция роста имеет порядок единицы. Індекс рубрикатора НБУВ: В121
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Кузнєцова О. В. Деякі прийоми викладання логіки у профільних класах гімназії / О. В. Кузнєцова // Дидактика математики: пробл. і дослідж. : зб. наук. пр. - 2006. - Вип. 25. - С. 248-254. - Бібліогр.: 5 назв. - укp.У процесі аналізу досвіду викладання логіки в профільних класах гімназії (5 - 7 класи) виявлено деякі методичні прийоми та педагогічні технології її викладання. Розглянуто окремі сторони сприяння інтелектуальному розвиткові учнів шляхом вивчення прийомів правильного (логічного) мислення. Індекс рубрикатора НБУВ: В121 р21-3
Рубрики:
Шифр НБУВ: Ж68599 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Прийма С. М. Математичниа логіка і теорія алгоритмів : навч. посіб. / С. М. Прийма. - Мелітополь : Вид. б. ММД, 2008. - 134 c. - Бібліогр.: с. 130-132. - укp.Викладено основні розділи математичної логіки та теорії алгоритмів. Наведено інформацію про кванторні операції, рівносильні формули предикатів, властивості алгоритмів, примітивно-рекурсивні та частково-рекурсивні функції, фінітний комбінаторний процес Поста, абстрактну обчислювальну машину Тьюрінга, теорію нормальних алгоритмів Маркова. Описано методи розробки алгоритмів. Изложены основные разделы математической логики и теории алгоритмов. Приведена информация о кванторных операциях, равносильных формулах предикатов, свойствах алгоритмов, примитивно-рекурсивных и частично-рекурсивных функциях, финитном комбинаторном процессе Поста, абстрактной вычислительной машине Тьюринга, теории нормальных алгоритмов Маркова. Описаны методы разработки алгоритмов. Індекс рубрикатора НБУВ: В121я73 + В127.3я73
Шифр НБУВ: ВА700508 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Гладунський В. Н. Вища математика й елементи логіки. Означення, формули, приклади : навч. посіб. / В. Н. Гладунський; Львів. ін-т банк. справи Ун-ту банк. справи Нац. банку України. - 2-ге вид., доповн. - Л. : Афіша, 2008. - 503 c. - Бібліогр.: с. 489. - укp.Наведено означення та опис понять з основних розділів курсу вищої математики (лінійної алгебри, аналітичної геометрії, математичного аналізу, диференціальних рівнянь) та логіки. Включено також базові поняття з елементарної математики. Розглянуто основні логічні прийоми формування понять, види простих категоричних суджень за кількістю та якістю, дедуктивні умовиводи, паралогізми та софізми, впорядковані множини, метод Гаусса, скалярні та векторні величини, складні функції, теореми Ферма, Ролля, Лагранжа, лінійні неоднорідні диференціальні рівняння вищих порядків. Приведены определения и описания понятий из основных разделов курса высшей математики (линейной алгебры, аналитической геометрии, математического анализа, дифференциальных уравнений) и логики. Включены также базовые понятия из элементарной математики. Рассмотрены основные логические приемы формирования понятий, виды простых категорических суждений по количеству и качеству, дедуктивные умозаключения, паралогизмы и софизмы, упорядоченные множества, методы Гаусса, скалярные и векторные величины, сложные функции, теоремы Ферма, Ролля, Лагранжа, линейные неоднородные дифференциальные уравнения высших порядков. Індекс рубрикатора НБУВ: В11я73 + В121я73
Шифр НБУВ: АО266909 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Шкільняк С. С. Математична логіка. Основи теорії алгоритмів : навч. посіб. / С. С. Шкільняк. - К. : Персонал, 2009. - 279 c. - Бібліогр.: 41 назв. - укp.Викладено основи математичної логіки та теорії алгоритмів. Вивчено пропозиційну, класичну логіку першого порядку, а також інтуїціоністську та модальні логіки. Описано формальні моделі алгоритмів і обчислювальних функцій. Розглянуто питання розв'язності та нерозв'язності, відносної обчислюваності, звідності. Изложены основы математической логики и теории алгоритмов. Изучены логика предложений, классическая логика первого порядка, а также интуиционистская и модальная логики. Описаны формальные модели алгоритмов и вычислительных функций. Рассмотрены вопросы решаемости и нерешаемости, относительной вычисляемости, сводности. Індекс рубрикатора НБУВ: В121я73 + В127я73
Шифр НБУВ: ВА724236 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Сінько Ю. І. Методична система навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій : автореф. дис... канд. пед. наук : 13.00.02 / Ю. І. Сінько; Херсон. держ. ун-т. - Херсон, 2009. - 20 c. - укp.Вперше розроблено комп'ютерно-орієнтовану методичну систему навчання математичної логіки у ВНЗ для дистанційного навчання з підтримкою практичної математичної діяльності. Розкрито можливості використання даної системи або її компонентів за умов денного або заочного навчання. Удосконалено комп'ютерно-орієнтовані педагогічні технології підвищення ефективності навчання математичних дисциплін у процесі фахової підготовки майбутніх учителів математики. Обгрунтовано компонентно-орієнтований підхід щодо організації навчально-виховного процесу та концепцію комп'ютерно-орієнтованих систем підтримки навчальної практичної діяльності. Скачати повний текст Індекс рубрикатора НБУВ: В121 р3-3
Рубрики:
Шифр НБУВ: РА367236 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Ройбул П. А. Подобие формул взаимных индуктивностей / П. А. Ройбул // Залізн. трансп. України. - 2009. - № 1. - С. 28-30. - Библиогр.: 5 назв. - рус. Індекс рубрикатора НБУВ: В121
Рубрики:
Шифр НБУВ: Ж15098 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Шукурян А. С. Эквивалентность регулярных выражений в частично коммутативном алфавите / А. С. Шукурян // Кибернетика и систем. анализ. - 2009. - 45, № 3. - С. 65-74. - Библиогр.: 7 назв. - рус.Розглянуто проблему еквівалентності регулярних виразів в частково комутативному алфавіті, коли елементи неперетинних підмножин є переставними. Доказано розв'язність спеціального випадку проблеми, коли потужність однієї підмножини є більшою за одиницю, а потужність решти підмножин дорівнює одиниці. Індекс рубрикатора НБУВ: В121
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
| | | | |
17. |
Євладенко В. М. Математична логіка та теорія алгоритмів : навч.-метод. посіб. / В. М. Євладенко, З. П. Халецька, В. В. Нарадовий; Кіровогр. держ. пед. ун-т ім. В.Винниченка. - Кіровоград : КОД, 2009. - 116 c. - Бібліогр.: с. 114. - укp.Викладено теоретичні відомості з логіки та числення висловлень, логіки предикатів першого порядку та теорії алгоритмів. Наведено інформацію про метатеорему дедукції, поліном Жегалкіна, формули логіки предикатів, алфавітні оператори, рекурсивні функції, машину Тьюрінга. Изложены теоретические сведения по логике и вычислению выражений, логике предикатов первого порядка и теории алгоритмов. Дана информация о метатеореме дедукции, полиноме Жегалкина, формулах логики предикатов, алфавитных операторах, рекурсивных функциях, машине Тьюринга. Індекс рубрикатора НБУВ: В121я73 + В127.3я73
Шифр НБУВ: ВА712722 Пошук видання у каталогах НБУВ
|
| | | | |
18. |
Морозова О. И. Применение ЭВМ для решения задач математической логики и теории алгоритмов : учеб. пособие / О. И. Морозова, Ю. К. Чернышев; Нац. аэрокосм. ун-т им. Н.Е.Жуковского"Харьк. авиац. ин-т". - Х., 2010. - 69 c. - рус.Освещены вопросы математической логики и теории алгоритмов. Уделено внимание реализации методов этих теорий с учетом возможности автоматизации вычислений. Дана информация о моделировании релейно-контактных схем, исчислении высказываний и предикатов, неформальном определении алгоритма, автоматах Мили и Мура, автоматных языках, алгоритмах сортировки и классификации. Індекс рубрикатора НБУВ: В121 с51 я73 + В127 с51 я73
Рубрики:
Шифр НБУВ: ВА726020 Пошук видання у каталогах НБУВ
|
| | | | |
19. |
Кондратенко Н. Р. Комп'ютерний практикум з математичної логіки / Н. Р. Кондратенко. - Вінниця : ВНТУ, 2010. - 117 c. - Бібліогр.: 14 назв. - укp.Подано методи математичної логіки (МЛ), які використовуються для розв'язання задач опису та проектування комбінаційних схем, автоматів та інших засобів електронно-обчислювальної техніки. Викладено основні поняття та означення МЛ, доведено основні закони логіки за допомогою таблиць істинності. Описано елементарні логічні функції, їх основні властивості та базові підходи до реалізації в електронних схемах. Розглянуто форми подання функцій алгебри логіки (ФАЛ), способи переходу до нормальних форм (НФ), побудови досконалої кон'юнктивної та диз'юнктивної НФ ФАЛ, функціонально повні системи булевих функцій. Наведено відомості про основні методи мінімізації логічних функцій (ЛФ) в різних базисах, не повністю визначених ЛФ та методи мінімізації систем булевих функцій. Індекс рубрикатора НБУВ: В121с51я73
Шифр НБУВ: ВА734436 Пошук видання у каталогах НБУВ
|
| | | | |
20. |
Беркович Є. Л. Групи, породжені скінченними автоматами спеціальних типів : автореф. дис. ... канд. фіз.-мат. наук : 01.01.08 / Є. Л. Беркович; Київ. нац. ун-т ім. Т. Шевченка. - К., 2012. - 19 c. - укp. Індекс рубрикатора НБУВ: В121,022 + В127.3,022 + В152.35,022
Рубрики:
Шифр НБУВ: РА400949 Пошук видання у каталогах НБУВ
| | |
|
|