Search for 'an:2114042' with limit(s): 'suppress:false'

Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов , учебное пособие

By Т. М. Косовская.
Санкт-Петербург Издательский дом Санкт-Петербургского государственного университета 2013 .
126, [1] с. 20.
9785288054952

Прикладная логика

By С.В. Попов, Н.Л. Брошкова.
Москва Физматлит 2011 .
212 с. 22.
978-5-9221-1340-3

Теория интеллектуальных систем. Кн. 3: Моделирование логических процессов

2018 .
210 с. 978-5-4493-5159-3

Теория интеллектуальных систем. Т. 3: Моделирование логических процессов

2026 .
216 с. , Рез. англ. 978-5-19-012381-4

Дискретная математика: логика, теория множеств и комбинаторика , учебное пособие

By А. О. Путилов, Э. Р. Зарипова.
Москва Московский университет МВД России имени В. Я. Кикотя 2022 .
108 с. , На 4-й с. обл. 2-й авт.: Э. Р. Зарипова, канд. физ.-мат. наук | На обл.: 20 лет 21.
978-5-9694-1135-7