Выразимость в исчислениях высказываний

Выразимость в исчислениях высказываний

Dades bibliogràfiques
Autor principal:	Раца М. Ф. Мефодий Федорович
Autor corporatiu:	Академия наук Молдавской ССР (АН МССР) Институт математики с вычислительным центром (ИМсВЦ)
Altres autors:	Тайманов А. Д. (редактор)
Idioma:	rus
Publicat:	Кишинев, Штиинца, 1991
Matèries:	математическая логика интуиция расширение выразимость модальные логики
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=166540

Ítems similars

Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
per: Верещагин Н. К
Publicat: (Москва, МЦНМО, 2000)

Учебник логики со сборником задач
per: Гетманова А. Д. Александра Денисовна
Publicat: (Москва, Кнорус, 2006)

Учебник логики со сборником задач
per: Гетманова А. Д. Александра Денисовна
Publicat: (Москва, КноРус, 2011)

Логический вывод
Publicat: (Москва, Наука, 1979)

Исследования по некласическим логикам и теории множеств
Publicat: (Москва, Наука, 1979)

Вып. 11; Математические вопросы кибернетики
Publicat: (2002)

Введение в логику высказываний учебное пособие
per: Рыбаков Н. С.
Publicat: (Псков, ПсковГУ, 2020)

Интуиция и искусственный интеллект
per: Грановская Р. М. Рада Михайловна
Publicat: (Ленинград, Изд-во ЛГУ, 1991)

Математическая логика учебник и практикум для вузов
per: Скорубский В. И. Владимир Иванович
Publicat: (Москва, Юрайт, 2021)

Математическая логика учебник и практикум для вузов
per: Скорубский В. И. Владимир Иванович
Publicat: (Москва, Юрайт, 2022)

Математическая логика учебник и практикум для вузов
per: Скорубский В. И. Владимир Иванович
Publicat: (Москва, Юрайт, 2025)

Математическая логика учебник и практикум для вузов
per: Скорубский В. И. Владимир Иванович
Publicat: (Москва, Юрайт, 2023)

Математическая логика учебник и практикум для вузов
per: Скорубский В. И. Владимир Иванович
Publicat: (Москва, Юрайт, 2024)

Интенциональность в языке: проблема выразимости; Известия Томского политехнического университета [Известия ТПУ]; Т. 306, № 5
per: Ладов В. А.
Publicat: (2003)

Категорная логика учебник для вузов
per: Васюков В. Л. Владимир Леонидович
Publicat: (Москва, Юрайт, 2025)

Категорная логика учебное пособие для вузов
per: Васюков В. Л. Владимир Леонидович
Publicat: (Москва, Юрайт, 2023)

Категорная логика учебное пособие для вузов
per: Васюков В. Л. Владимир Леонидович
Publicat: (Москва, Юрайт, 2022)

Категорная логика учебное пособие для вузов
per: Васюков В. Л. Владимир Леонидович
Publicat: (Москва, Юрайт, 2024)

Категорная логика учебное пособие для вузов
per: Васюков В. Л. Владимир Леонидович
Publicat: (Москва, Юрайт, 2021)

Интуиция: пер. с англ.
per: Майерс Д. Дэвид
Publicat: (Санкт-Петербург, Питер, 2013)

Исследования по логике научного познания: материалы международного симпозиума, ноябрь 1984 г., г. Москва
Publicat: (Москва, Наука, 1990)

Введение в математическую логику
per: Зюзьков В. М.
Publicat: (Санкт-Петербург, Лань, 2022)

Нецелеориентированная стратегия вывода формул в модальных исчислениях; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
per: Новосельцев В. Б. Виталий Борисович
Publicat: (2006)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
per: Любецкий В. А. Василий Александрович
Publicat: (Москва, Юрайт, 2022)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
per: Любецкий В. А. Василий Александрович
Publicat: (Москва, Юрайт, 2023)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
per: Любецкий В. А. Василий Александрович
Publicat: (Москва, Юрайт, 2024)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
per: Любецкий В. А. Василий Александрович
Publicat: (Москва, Юрайт, 2021)

Теория множеств: абсолютно неразрешимые классические проблемы учебник для вузов
per: Любецкий В. А. Василий Александрович
Publicat: (Москва, Юрайт, 2025)

Неклассическая логика учебное пособие для вузов
per: Светлов В. А. Виктор Александрович
Publicat: (Москва, Юрайт, 2025)

Парадоксы науки
per: Сухотин А. К. Анатолий Константинович
Publicat: (Москва, Молодая гвардия, 1978)

Логика учебное пособие для спо
per: Кожеурова Н. С. Наталья Сергеевна
Publicat: (Москва, Юрайт, 2022)

Логика учебное пособие для спо
per: Кожеурова Н. С. Наталья Сергеевна
Publicat: (Москва, Юрайт, 2021)

Практическая логика: задачи и упражнения учебное пособие для спо
per: Ивин А. А. Александр Архипович
Publicat: (Москва, Юрайт, 2023)

Логика учебное пособие для спо
per: Кожеурова Н. С. Наталья Сергеевна
Publicat: (Москва, Юрайт, 2023)

Практическая логика: задачи и упражнения учебное пособие для спо
per: Ивин А. А. Александр Архипович
Publicat: (Москва, Юрайт, 2021)

Практическая логика: задачи и упражнения учебное пособие для спо
per: Ивин А. А. Александр Архипович
Publicat: (Москва, Юрайт, 2024)

Логика учебное пособие для спо
per: Кожеурова Н. С. Наталья Сергеевна
Publicat: (Москва, Юрайт, 2024)

Практическая логика: задачи и упражнения учебник для спо
per: Ивин А. А. Александр Архипович
Publicat: (Москва, Юрайт, 2025)

Логика учебное пособие для спо
per: Кожеурова Н. С. Наталья Сергеевна
Publicat: (Москва, Юрайт, 2025)

Практическая логика: задачи и упражнения учебное пособие для спо
per: Ивин А. А. Александр Архипович
Publicat: (Москва, Юрайт, 2022)