Suchergebnisse - "ЛОГИКА ВЫСКАЗЫВАНИЙ"
-
1
-
2
Autoren:
Schlagwörter: ЭЛЕКТРОННЫЕ РЕСУРСЫ, УРАЛЬСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ, УЧЕБНЫЕ ПОСОБИЯ ДЛЯ ВУЗОВ, МАТЕМАТИЧЕСКАЯ ОБРАБОТКА, ОБРАБОТКА ИНФОРМАЦИИ, ЛОГИЧЕСКИЕ ОПЕРАЦИИ, ЛОГИКА ВЫСКАЗЫВАНИЙ
Geographisches Schlagwort: USPU
Verfügbarkeit: https://elar.uspu.ru/handle/ru-uspu/48180
-
3
Quelle: Высшая школа: научные исследования.
-
4
Quelle: Logiko-filosofskie studii; Том 21, № 2 (2024); 88-90
Логико-философские штудии; Том 21, № 2 (2024); 88-90Schlagwörter: Smullyan, Knights and Knaves, logical puzzles, reversed puzzles, propositional logic, formalization problem, normal forms, Р. Смаллиан, рыцари и лжецы, логические задачи, обратные задачи, логика высказываний, формализация, нормальные формы
Dateibeschreibung: application/pdf
-
5
Autoren: S A Pavlov
Quelle: RUDN Journal of Philosophy, Vol 22, Iss 2, Pp 139-148 (2018)
Schlagwörter: истина, условия применимости, логика высказываний, Philosophy. Psychology. Religion, логическая семантика, ложь
-
6
Autoren: Куртова, Л. Н.
Schlagwörter: физико-математические науки, математика, математическая логика, логика высказываний, логика предикатов, теория алгоритмов, задачи, учебно-методические пособия, высшее образование, электронные ресурсы
Verfügbarkeit: http://dspace.bsu.edu.ru/handle/123456789/26456
-
7
-
8
-
9
Schlagwörter: УЧЕБНЫЕ ПОСОБИЯ ДЛЯ ВУЗОВ, ЛОГИЧЕСКИЕ ОПЕРАЦИИ, ЭЛЕКТРОННЫЕ РЕСУРСЫ, МАТЕМАТИЧЕСКАЯ ОБРАБОТКА, ОБРАБОТКА ИНФОРМАЦИИ, УРАЛЬСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ, ЛОГИКА ВЫСКАЗЫВАНИЙ
Dateibeschreibung: application/pdf
Zugangs-URL: http://elar.uspu.ru/handle/uspu/9003.
-
10
Schlagwörter: УЧЕБНЫЕ ПОСОБИЯ ДЛЯ ВУЗОВ, ЛОГИЧЕСКИЕ ОПЕРАЦИИ, ЭЛЕКТРОННЫЕ РЕСУРСЫ, МАТЕМАТИЧЕСКАЯ ОБРАБОТКА, ОБРАБОТКА ИНФОРМАЦИИ, УРАЛЬСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ, ЛОГИКА ВЫСКАЗЫВАНИЙ
Dateibeschreibung: application/pdf
Zugangs-URL: https://openrepository.ru/article?id=354778
-
11
Autoren: Kavinsky, V.V.
Schlagwörter: Greek manuscript of the New Testament (edited by R. Stephanus, доказательство от противного, древнегреческий манускрипт Нового Завета (под ред. Р. Стефануса, логика высказываний, Священное Писание (NKJV), 1550), necessary and sufficient conditions, Holy Scriptures (NKJV), propositional logic, необходимые и достаточные условия, proof by contradiction
-
12
Autoren: et al.
Quelle: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2016. — № 3(48). 92-95 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2016. — № 3(48). 92-95 ; Scientific Works of Kharkiv National Air Force University. — 2016. — № 3(48). 92-95 ; 2073-7378
Schlagwörter: Кібернетика та системний аналіз, УДК 519.7, логическая формализация, сложные высказывания, переменные высказывания, операции с высказываниями, функция истинности, логика высказываний, логічна формалізація, складні висловлювання, змінні висловлювання, операції з висловлюваннями, функція істинності, логіка висловлювань, logical formalization, difficult expressions, variable expressions, operations with expressions, function of truth, logician of expressions
Dateibeschreibung: application/pdf
Relation: http://www.hups.mil.gov.ua/periodic-app/article/17020/zhups_2016_3_22.pdf; http://www.hups.mil.gov.ua/periodic-app/article/17020
Verfügbarkeit: http://www.hups.mil.gov.ua/periodic-app/article/17020
-
13
Autoren: ТОНОЯН Л.Г.
Dateibeschreibung: text/html
-
14
Autoren:
Weitere Verfasser:
Schlagwörter: Логика, Логические системы, логика высказываний, Исчисление высказываний
Relation: http://dspace.kpfu.ru/xmlui/bitstream/net/159519/-1/Metasvojstva_UMP.pdf; https://dspace.kpfu.ru/xmlui/handle/net/159519
Verfügbarkeit: https://dspace.kpfu.ru/xmlui/handle/net/159519
-
15
Autoren:
Weitere Verfasser:
Schlagwörter: Логика, Символическая логика, Логика высказываний, Исчисление высказываний
Verfügbarkeit: https://dspace.kpfu.ru/xmlui/handle/net/159520
-
16
Autoren: Тискин, Даниил Борисович
Quelle: Logiko-filosofskie studii; Том 10, № 2 (2013) ; Логико-философские штудии; Том 10, № 2 (2013) ; 2223-3954 ; 2071-9183
Schlagwörter: natural logic, monotonicity reasoning, natural language reasoning, propositional logic, intensional contexts, естественная логика, исчисление монотонностей, естственноязыковые рассуждения, логика высказываний, интенсиональные контексты
Dateibeschreibung: application/pdf
-
17
Autoren: Кислов, Алексей
Schlagwörter: ДЕОНТИЧЕСКАЯ ЛОГИКА, ДИНАМИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ, ЛОГИЧЕСКАЯ СЕМАНТИКА, НОРМАТИВНЫЕ ОПЕРАТОРЫ, САНКЦИЯ, СТЕПЕНЬ ОТВЕТСТВЕННОСТИ, СИСТЕМА ОЦЕНОК
Dateibeschreibung: text/html
-
18
Autoren: Волченко, Максим Владимирович
Quelle: Bulletin of the National Technical University «KhPI» Series: New solutions in modern technologies; No. 33 (2012): Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях; 55-62 ; Вестник Национального Технического Университета "ХПИ" Серия Новые решения в современных технологиях; № 33 (2012): Вестник Национального технического университета "ХПИ". Серия: Новые решения в современных технологиях; 55-62 ; Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях; № 33 (2012): Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях; 55-62 ; 2413-4295 ; 2079-5459
Schlagwörter: Satisfiability solving, propositional logic, clause, resolution algorithm, Проверка выполнимости, логика высказываний, дизъюнкт, алгоритм резолюции, УДК 004.832.38, Перевірка виконуваності, логіка висловлювань, диз'юнкт, алгоритм резолюції
Dateibeschreibung: application/pdf
Verfügbarkeit: http://vestnik2079-5459.khpi.edu.ua/article/view/5108
-
19
Autoren: Карягина, Татьяна
Dateibeschreibung: text/html
-
20
Schlagwörter: Древнегреческий манускрипт Нового Завета (под ред. Нестле́–Аланд), доказательство от противного, логика высказываний, Ancient Greek manuscript of the New Testament (edited by Nestle-Aland), necessary and sufficient conditions, propositional logic, необходимые и достаточные условия, proof by contradiction
Nájsť tento článok vo Web of Science 
