О полноте инфинитарного гиперсеквенциального исчисления для первопорядковой бесконечнозначной логики Лукасевича

Source: Logiko-filosofskie studii; Том 21, № 2 (2024); 77-79
Логико-философские штудии; Том 21, № 2 (2024); 77-79

Subject Terms: многозначная логика, нечёткая логика, первопорядковая бесконечнозначная логика Лукасевича, инфинитарное исчисление, полнота, 0101 mathematics, 01 natural sciences

File Description: application/pdf

Access URL: https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/822

Взаимосвязь фундаментальности и военно-профессиональной направленности изучения элементов математической логики в военном вузе ; Vzaimosviaz' fundamental'nosti i voenno-professional'noi napravlennosti izucheniia elementov matematicheskoi logiki v voennom vuze

Authors: Садовников Николай Владимирович, Филиал ФГКВОУ ВО «Военная академия материально-технического обеспечения им. генерала армии А.В. Хрулева» Министерства обороны Российской Федерации в г. Пензе, Nikolai V. Sadovnikov, FGKVOU VPO "Penzenskii filial Voennoi akademii material'no-tekhnicheskogo obespecheniia im. generala armii A.V. Khruleva" Ministerstva oborony Rossiiskoi Federatsii, Шипанова Елена Викторовна, Elena V. Shipanova, Султанова Галия Алиевна, Galiia A. Sultanova

Source: Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society; 55-78 ; Педагогика и психология как науки формирования потенциала современного общества; 55-78

Subject Terms: фундаментализация подготовки военного инженера, профессионально-военная направленность обучении курсантов, двузначная логика, бесконечнозначная логика, порядковая логика, булевы функции, канонические формы булевых функций: СДНФ и СКНФ, минимизация булевых функций, простые импликанты, алгоритм Квайна получения сокращенной ДНФ булевых функций, fundamentalization of military engineer training, professional-military orientation of cadet training, two-digit logic, infinite-value logic, ordinal logic, boolean functions, canonical forms of boolean functions: SDNF and SKNF, minimization of boolean functions, simple implicants, Quine's algorithm for obtaining abbreviated DNF of boolean functions

File Description: text/html

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-5-907411-24-1; https://phsreda.com/e-articles/10259/Action10259-98341.pdf; Садовников Н.В. Экономико-математическое моделирование: Логические методы исследования экономических систем в условиях неопределенности: учебное пособие с грифом УМО / Н.В. Садовников, А.Ф. Зубков. – Пенза, 2003. – 148 с.; Садовников Н.В. Фундаментализация как феномен современного образования / Н.В. Садовников // Интеграция образования. – 2004. – №1. – С. 37–42.; https://phsreda.com/files/Books/60b8d74095d7b.jpeg?req=98341; https://phsreda.com/article/98341/discussion_platform

Availability: https://phsreda.com/article/98341/discussion_platform
https://phsreda.com/files/Books/60b8d74095d7b.jpeg?req=98341

ПРЕЕМСТВЕННОСТЬ ПЕРЕХОДА ОТ ДВУЗНАЧНОЙ ЛОГИКИ К БЕСКОНЕЧНОЗНАЧНОЙ ПРИ ИЗУЧЕНИИ МАТЕМАТИЧЕСКОЙ ЛОГИКИ В ВОЕННОМ ВУЗЕ ; CONTINUITY OF THE TRANSITION FROM TWO-VALUED TO INFINITE-VALUED LOGIC IN THE STUDY OF MATHEMATICAL LOGIC IN A MILITARY UNIVERSITY

Authors: САДОВНИКОВ Николай Владимирович, СУЛТАНОВА Галия Алиевна

Contributors: Казанский (Приволжский) федеральный университет

Subject Terms: математическая логика, бесконечнозначная, много-значная логика, порядковая логика, дизъюнкция, конъюнкция, отрицание, булева функция, булева алгебра, функция бесконечнозначной логики, БЛ, алгебра БЛ, суперпозиция функций БЛ, mathematical logic, infinite-valued (many-valued) logic, ordinal logic, disjunction, conjunction, negation, Boolean function, Boolean algebra, function of infinite-valued logic, algebra of infinite-valued logic, superposition of functions of infinite-valued logic

Relation: Математическое образование в школе и вузе: опыт, проблемы, перспективы (MATHEDU'2022); http://dspace.kpfu.ru/xmlui/bitstream/net/172910/-1/2Sbornik_MathEdu_2022__1__286_291.pdf; https://dspace.kpfu.ru/xmlui/handle/net/172910; 371.30

Availability: https://dspace.kpfu.ru/xmlui/handle/net/172910

Взаимосвязь фундаментальности и военно-профессиональной направленности изучения элементов математической логики в военном вузе

Authors: Nikolai V. Sadovnikov, FGKVOU VPO \\'Penzenskii filial Voennoi akademii material'no-tekhnicheskogo obespecheniia im. generala armii A.V. Khruleva\\' Ministerstva oborony Rossiiskoi Federatsii, Elena V. Shipanova, Galiia A. Sultanova

Source: Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society; 55-78
Педагогика и психология как науки формирования потенциала современного общества; 55-78

Subject Terms: Quine's algorithm for obtaining abbreviated DNF of boolean functions, порядковая логика, simple implicants, boolean functions, профессионально-военная направленность обучении курсантов, fundamentalization of military engineer training, canonical forms of boolean functions: SDNF and SKNF, infinite-value logic, минимизация булевых функций, two-digit logic, professional-military orientation of cadet training, канонические формы булевых функций: СДНФ и СКНФ, простые импликанты, булевы функции, двузначная логика, бесконечнозначная логика, фундаментализация подготовки военного инженера, minimization of boolean functions, алгоритм Квайна получения сокращенной ДНФ булевых функций, ordinal logic

File Description: text/html

Access URL: https://phsreda.com/files/Books/60b8d74095d7b.jpeg?req=98341
https://phsreda.com/article/98341/discussion_platform

Взаимосвязь фундаментальности и военно-профессиональной направленности изучения элементов математической логики в военном вузе

Additional Titles: Vzaimosviaz' fundamental'nosti i voenno-professional'noi napravlennosti izucheniia elementov matematicheskoi logiki v voennom vuze

Authors: Садовников Николай Владимирович; Филиал ФГКВОУ ВО «Военная академия материально-технического обеспечения им. генерала армии А.В. Хрулева» Министерства обороны Российской Федерации в г. Пензе, Sadovnikov Nikolai Vladimirovich; FGKVOU VPO "Penzenskii filial Voennoi akademii material'no-tekhnicheskogo obespecheniia im. generala armii A.V. Khruleva" Ministerstva oborony Rossiiskoi Federatsii, Шипанова Елена Викторовна; Филиал ФГКВОУ ВО «Военная академия материально-технического обеспечения им. генерала армии А.В. Хрулева» Министерства обороны Российской Федерации в г. Пензе, Shipanova Elena Viktorovna; FGKVOU VPO "Penzenskii filial Voennoi akademii material'no-tekhnicheskogo obespecheniia im. generala armii A.V. Khruleva" Ministerstva oborony Rossiiskoi Federatsii, Султанова Галия Алиевна; Филиал ФГКВОУ ВО «Военная академия материально-технического обеспечения им. генерала армии А.В. Хрулева» Министерства обороны Российской Федерации в г. Пензе, Sultanova Galiia Alievna; FGKVOU VPO "Penzenskii filial Voennoi akademii material'no-tekhnicheskogo obespecheniia im. generala armii A.V. Khruleva" Ministerstva oborony Rossiiskoi Federatsii

Source: Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society; 55-78; Педагогика и психология как науки формирования потенциала современного общества; 55-78

Index Terms: фундаментализация подготовки военного инженера, профессионально-военная направленность обучении курсантов, двузначная логика, бесконечнозначная логика, порядковая логика, булевы функции, канонические формы булевых функций: СДНФ и СКНФ, минимизация булевых функций, простые импликанты, алгоритм Квайна получения сокращенной ДНФ булевых функций, fundamentalization of military engineer training, professional-military orientation of cadet training, two-digit logic, infinite-value logic, ordinal logic, boolean functions, canonical forms of boolean functions: SDNF and SKNF, minimization of boolean functions, simple implicants, Quine's algorithm for obtaining abbreviated DNF of boolean functions, text, info:eu-repo/semantics/bookPart, info:eu-repo/semantics/publishedVersion, Peer-reviewed Article

URL: https://phsreda.com/e-articles/10259/Action10259-98341.pdf
info:eu-repo/semantics/altIdentifier/isbn/978-5-907411-24-1
https://phsreda.com/e-articles/10259/Action10259-98341.pdf
Садовников Н.В. Экономико-математическое моделирование: Логические методы исследования экономических систем в условиях неопределенности: учебное пособие с грифом УМО / Н.В. Садовников, А.Ф. Зубков. – Пенза, 2003. – 148 с.
Садовников Н.В. Фундаментализация как феномен современного образования / Н.В. Садовников // Интеграция образования. – 2004. – №1. – С. 37–42.