Academic literature on the topic 'Математична логіка'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Математична логіка.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Математична логіка"
ПЛАХТІЙ, Маріанна, and Тетяна СУЛЯТИЦЬКА. "ІСТОРІЯ УКРАЇНСЬКОЇ ФІЛОСОФІЇ ТА ІСТОРІЯ ЛОГІКИ: СПІЛЬНІ ТА ВІДМІННІ ПЕРСОНАЛІЇ." Human Studies a collection of scientific articles Series of «Philosophy», no. 44 (May 20, 2022): 235–47. http://dx.doi.org/10.24919/2522-4700.44.15.
Full textПанішева, О. В. "Трансформація змісту навчальних дисциплін як одна з необхідних умов підготовки компетентного фахівця." Освітній вимір 36 (September 13, 2012): 354–59. http://dx.doi.org/10.31812/educdim.v36i0.3441.
Full textРашевська, Анастасія Миколаївна. "Методи розв’язування логічних задач." Theory and methods of learning mathematics, physics, informatics 13, no. 2 (September 4, 2015): 34–41. http://dx.doi.org/10.55056/tmn.v13i2.764.
Full textЄМЧИК, Олександра, and Людмила КОМЕНДА. "РОЗВИТОК МАТЕМАТИЧНИХ ЗДІБНОСТЕЙ У ДІТЕЙ СТАРШОГО ДОШКІЛЬНОГО ВІКУ ЗАСОБАМИ СЮЖЕТНО-РОЛЬОВИХ ІГОР." Acta Paedagogica Volynienses 1, no. 1 (April 13, 2022): 50–55. http://dx.doi.org/10.32782/apv/2022.1.1.8.
Full textЩЕРБАКОВА, Катерина, and Марія КОМІСАРИК. "ВИВЧЕННЯ ЯКОСТІ МАТЕМАТИЧНОГО РОЗВИТКУ ДІТЕЙ СТАРШОГО ДОШКІЛЬНОГО ВІКУ." Scientific papers of Berdiansk State Pedagogical University Series Pedagogical sciences 2, no. 2 (2020): 183–92. http://dx.doi.org/10.31494/2412-9208-2020-1-2-183-192.
Full textKolomiets, Alyona, Vitaliy Klochko, and Olena Stahova. "Професійно-орієнтовані задачі як компонент фундаментальної математичної підготовки студентів технічних університетів та коледжів." Педагогічний дискурс, no. 26 (May 20, 2019): 85–93. http://dx.doi.org/10.31475/ped.dys.2019.26.13.
Full textХазанович, Олександр, Віктор Лазоренко, and Володимир Лоза. "Моделювання функціонування підсистеми підвезення матеріальних засобів військам з використанням логічних функцій." Сучасні інформаційні технології у сфері безпеки та оборони 42, no. 3 (December 17, 2021): 85–88. http://dx.doi.org/10.33099/2311-7249/2021-42-3-85-88.
Full textЖУРАВКО, Тетяна. "РОБОТА З МАТЕМАТИЧНО ОБДАРОВАНИМИ ДІТЬМИ СТАРШОГО ДОШКІЛЬНОГО ВІКУ: ТЕОРЕТИЧНИЙ АСПЕКТ." Acta Paedagogica Volynienses 1, no. 1 (April 13, 2022): 56–60. http://dx.doi.org/10.32782/apv/2022.1.1.9.
Full textДолгое, Олег. "ЛОГИЧЕСКИЕ ЗАДАЧИ КАК ФАКТОР РАЗВИТИЯ ЛОГИКО-МАТЕМАТИЧЕСКИХ СПОСОБНОСТЕЙ МЛАДШИХ ШКОЛЬНИКОВ." Modern engineering and innovative technologies, no. 10-03 (December 31, 2018): 73–78. http://dx.doi.org/10.30890/2567-5273.2019-10-03-046.
Full textLazarovich, Nadiya. "Підготовка майбутніх педагогів до формування логіко-математичної компетентності дітей дошкільного віку." Освітній простір України, no. 14 (December 21, 2018): 76–81. http://dx.doi.org/10.15330/esu.14.76-81.
Full textDissertations / Theses on the topic "Математична логіка"
Шаповалов, Сергій Павлович, Сергей Павлович Шаповалов, Serhii Pavlovych Shapovalov, Інга Володимирівна Возна, Инга Владимировна Возная, and Inha Volodymyrivna Vozna. "Застосування відкритих освітніх ресурсів в набутті знань з курсу "Математична логіка та теорія алгоритмів"." Thesis, Сумський державний університет, 2014. http://essuir.sumdu.edu.ua/handle/123456789/38071.
Full textЖовтя, Є. М. "Використання Flash-технології для активізації навчання з курсу "Теорія алгоритмів та матлогіка"." Thesis, Видавництво СумДУ, 2011. http://essuir.sumdu.edu.ua/handle/123456789/9872.
Full textСемиряжко, Н. М., and Сергій Володимирович Коваленко. "Розробка системи розпізнавання елементів електричних схем з растрового зображення." Thesis, Національний технічний університет "Харківський політехнічний інститут", 2019. http://repository.kpi.kharkov.ua/handle/KhPI-Press/49112.
Full textХудаєва, С. А. "Визначення математичної логіки." Thesis, ХНУРЕ, 2020. http://openarchive.nure.ua/handle/document/13622.
Full textЛагойда, А. І. "Антипомпажне керування газоперекачувальним агрегатом із застосуванням методів нечіткої логіки." Thesis, Івано-Франківський національний технічний університет нафти і газу, 2017. http://elar.nung.edu.ua/handle/123456789/4866.
Full textДиссертация посвящена вопросу антипомпажного управления газоперекачивающим агрегатом. Проведен комплексный анализ и обобщение существующих методов и средств, предназначенных для синтеза систем автоматического антипомпажного регулирования газоперекачивающих агрегатов, определены основные направления их развития и совершенствования. Разработаны основные принципы построения и функционирования ПИ-фази-регулятора и многопараметрического ПИД-фази-регулятора в составе системы автоматического антипомпажного регулирования. Разработана динамическая математическая модель явления помпажа в центробежном нагнетателе газоперекачивающего агрегата с учетом перепуска газа через антипомпажный клапан. Разработан алгоритм моделирования процесса синтезирования системы антипомпажного регулирования. Разработана обобщенная статическая математическая модель центробежного нагнетателя газоперекачивающего агрегата для совокупности газодинамических характеристик. На основе функций спектральных плотностей степени повышения давления газа и производительности нагнетателя определены функции передачи центробежного нагнетателя газоперекачивающего агрегата. Осуществлена постановка задачи синтеза оптимальной по быстродействию подсистемы автоматического антипомпажного регулирования. Сформулирована постановка задачи синтеза регулятора подсистемы автоматического антипомпажного регулирования на основе использования оператора обращения. На основе функции передачи центробежного нагнетателя разработаны модели многопараметрических ПИДД2-, ПИДД2ДЗ-регуляторов и метод синтеза таких регуляторов. Разработаны структуры ПДД2-, ПДПД-регуляторов, функция передачи которых обратная к функции передачи объекта управления. Осуществлен синтез оптимального по быстродействию закона управления центробежным нагнетателем газоперекачивающего агрегата с газотурбинным приводом. Разработан и синтезирован ПИДД2-, ПИ-фази-регулятор и ПИД-регулятор с фази-блоком автоматической настройки коэффициентов. Разработана имитационная модель центробежного нагнетателя газоперекачивающего агрегата с учетом антипомпажного клапана. Проведено имитационное моделирование с разработанными регуляторами и осуществлен их сравнительный анализ.
The thesis is devoted to antisurge control of gas pumping units. A comprehensive analysis and synthesis of existing methods and tools, designed to synthesize subsystems of automatic antisurge regulation of gas compressor units, are conducted and the main directions for their development and improvement are defined. Basic principles of construction and operation of the Pl-fuzzy-regulator and multiparametric PID-fuzzy-regulator as a part of the subsystem of automatic antisurge control are developed. The dynamic mathematical model of the surge phenomenon in the centrifugal pumping unit supercharger with the account of the gas bypass through the antisurge valve is designed. The algorithm of the synthesis process modeling of the antisurge regulation subsystem is implemented. The generalized mathematical static model of the centrifugal pumping unit supercharger for a set of gas-dynamic characteristics is designed. On the basis of the spectral density functions of the gas compression ratio and supercharger performance, the transfer function of the centrifugal pumping unit supercharger is determined. The synthesis problem of the time optimal subsystem of automatic antisurge control is stated. The synthesis problem statement of the subsystem regulator of automatic antisurge control, based on the inversion operator usage, is formulated. Based on the transfer function of the centrifugal supercharger, the models of multiparametric PIDD2- and PIDD2D3-regulators, as well as the method for these regulators synthesis, are developed. The structures of the PDD2- and PDPD-regulators, the transfer function of which is inverse to the transfer function of the control object, are designed. The synthesis of the optimal time control law of the centrifugal pumping unit supercharger with the gas turbine drive is conducted. The PIDD2- and Pl-fUzzy-regulator, as well as the PID regulator with the fuzzy block of automatic adjustment of coefficients, are developed and synthesized. The simulation model of the centrifugal pumping unit supercharger with the account of the antisurge valve is designed. The simulation modeling of the developed regulators is conducted and their comparative analysis is carried out.
Бабій, Є. А., and Д. В. Тищенко. "Роль і використання математики в комп’ютерних іграх." Thesis, Сумський державний університет, 2015. http://essuir.sumdu.edu.ua/handle/123456789/43437.
Full textЄрмоленко, О. П. "Модуль генерації математичної моделі компетенцій на базі логіки антонімів." Thesis, Чернігів, 2021. http://ir.stu.cn.ua/123456789/22778.
Full textОб’єкт розробки – модуль генерації математичної моделі компетенцій на базі логіки антонімів. В результаті роботи модуль має наступний функціонал: − графічне створення моделі; − додавання підрівнів; − збереження та відновлення моделі з файлу; − зміна діаметру вершин; − вибір типу з’єднання вершин; − генерація математичної моделі. Для функціонування модулю необхідна операційна система Windows з встановленим .NET Framework версії не нижче 4.7. Модуль був реалізований за допомогою технологій C#. Модуль була розроблена у середовищі розробки Visual Studio. Модуль може бути в подальшому розширений у функціональності, збільшення максимальної кількості підрівнів, додавання нових типів зв’язків.
The object of development is Module for generating a mathematical model of competencies based on the logic of antonyms. As a result, the application has the following functionality: − graphic creation of the model; − adding sublevels; − save and restore the model from a file; − change the diameter of the vertices; − select the type of connection of vertices; − generation of a mathematical model; The module requires a Windows operating system with the .NET Framework version at least 4.7 installed. The module was implemented using C # technology. The module was developed in the Visual Studio development environment. The module can be further expanded in functionality, increasing the maximum number of sublevels, adding new types of connections.
Вавіленкова, Анастасія Ігорівна, Вавіленкова А. І, Vavilenkova A. I, Анастасия Игоревна Вавиленкова, and Вавиленкова А. И. "Алгоритми побудови математичної моделі тексту." Thesis, НТУ "ХПІ", 2013. http://er.nau.edu.ua/handle/NAU/10844.
Full textВавіленкова, Анастасія Ігорівна, Anastasiia Vavilenkova, А. І. Вавіленкова, and A. I. Vavilenkova. "Математичний апарат системи лінгвістичного аналізу текстових документів." Thesis, Національний авіаційний університет, 2019. http://er.nau.edu.ua/handle/NAU/42519.
Full textЗаячук, Я. І. "Оптимальне керування газоперекачувальними агрегатами компресорних станцій з урахуванням їх технічного стану." Thesis, Івано-Франківський національний технічний університет нафти і газу, 2009. http://elar.nung.edu.ua/handle/123456789/4301.
Full textДиссертация посвящена вопросам разработки метода и алгоритмов оптимального управления процессом компримирования природного газа. Выбрано и обосновано направление исследований с целью создания методов и алгоритмов оптимального функционирования КС. Изложена методика проведения экспериментальных исследований для получения материала с целью построения эмпирических моделей. Разработана методика ранжирования газоперекачивающих агрегатов по их техническому состоянию на основе метода нечеткого вывода, что позволит экономить эксплуатационные затраты по перекачке природного газа. Основными параметрами, которые определяют техническое состояние ГПА, выбрано: скорость накопления продуктов отработки в моторном масле, коэффициент технического состояния нагнетателя по политропному к.п.д., коэффициент технического состояния газотурбинного двигателя по мощности, виброскорость и виброперемещение. Для построения математических моделей процесса компримирования газа избран индуктивный метод моделирования, который основан на принципе самоорганизации моделей. Поставлена и решена задача оптимального управления процессом компримирования природного газа, исходя из реального технического состояния нагнетателей, минимальных расходов на процесс и ограничений на технологические параметры. Задача оптимального управления состоит из нескольких подзадач. На первом этапе решена подзадача определения коэффициентов технического состояния каждого из нагнетателей. На втором этапе решена подзадача выбора необходимого количества агрегатов. На третьем этапе рассчитаны коэффициенты загрузки каждого из нагнетателей и найдены режимы их работы, которые обеспечивают необходимую производительность станции, с учетом ограничений на технологические параметры и минимальные энергетические затраты на эксплуатацию агрегатов. Программное обеспечение задачи оптимального управления оформлено в виде прикладного программного модуля, интегрированного в Сitect НМI верхнего уровня компьютерной системы управления на примере Долинского ЛПУМГ. Основные результаты работы прошли промышленную апробацию на КС УМГ "Прикарпаттрансгаз", а также внедрены в учебный процесс.
The dissertation deals with the development of methods and algorithms for optimal control of natural gas compressing process. The following problems have been solved in the dissertation: - Mathematical models for natural gas compressors have been created on the basis of information gained in the process of the compressor’s normal operating by means of the objective method of modeling; - Ranging of compressors according to their technical condition has been made by means of fuzzy logic method and load factors have been calculated that make possible to decrease expenses on natural gas transporting; - Compression station operating has been optimized on the basis of cost criterion that make possible to take into account power expenses on gas compression, technological parameter limits and load factors; - The system of optimal control for natural gas compressor’s operating has been designed. Software of optimal control system has been designed as the applied program module integrated in Citect HMI SCADA-systcm of control of natural gas compression process.
Books on the topic "Математична логіка"
Бондаренко, М. Е. Пантеон Херсонеса Таврического. Москва: Компания Спутник+, 2003.
Find full textКривий, С. Л. Дискретна математика. Київ: Києво-Могилянська академія, 2007.
Find full textКривий, С. Л. Дискретна математика. Київ: Києво-Могилянська академія, 2007.
Find full textГладунський, В. Н. Вища математика й елементи логіки. Львів: Афіша, 2005.
Find full textCarol, Tonsing, and Omarr Sydney, eds. Sydney Omarr's day-by-day astrological guide for Aquarius, January 20-February 18, 2010. New York: Signet, 2009.
Find full textHaack, Susan. Filosofia das lo gicas. Sa o Paulo (SP): UNESP, 2002.
Find full textZakrevskiĭ, A. D. Logika raspoznavanii͡a︡. Minsk: "Nauka i tekhnika", 1988.
Find full textТриумфгородских, М. В. Дискретная математика и математическая логика для информатиков, экономистов и менеджеров. Москва: Диалог-МИФИ, 2011.
Find full textТриумфгородских, М. В. Дискретная математика и математическая логика для информатиков, экономистов и менеджеров. Москва: Диалог-МИФИ, 2011.
Find full textЧернет, Петр Евгеньевич. Тесты IQ. Логика и психометрия, математика и концепция внимания, различные типы мышления. Москва: ИНФРА-М, 2000.
Find full textBook chapters on the topic "Математична логіка"
Бутко, Ігор, and Ірина Хижняк. "МЕТОД ПІДТРИМКИ ПРИЙНЯТТЯ УПРАВЛІНСЬКИХ РІШЕНЬ ПРИ ПРОВЕДЕННІ ЗЕМЕЛЬНО-КАДАСТРОВИХ РОБІТ НА ТИМЧАСОВО ОКУПОВАНИХ ТЕРИТОРІЯХ НА ОСНОВІ ВИКОРИСТАННЯ ТЕОРІЇ КАТЕГОРІЙ." In Сучасний стан проведення наукових досліджень у IT-технологіях, галузях електроніки, інженерії, нанотехнологіях та транспортній сфері (1st ed.), 146–55. European Scientific Platform, 2020. http://dx.doi.org/10.36074/csriteenat.ed-1.09.
Full text