Неклассические логики и их применение; Вопросы кибернетики

Неклассические логики и их применение; Вопросы кибернетики

Detaylı Bibliyografya
Parent link:	Вопросы кибернетики: сборник статей/ Академия наук СССР (АН СССР), Научный совет по комплексной проблеме "Кибернетика". Неклассические логики и их применение.— , 1975-1992
Diğer Yazarlar:	Драгалин А. Г. (редактор)
Dil:	Rusça
Baskı/Yayın Bilgisi:	1982
Konular:	Математическая кибернетика Кибернетика модальная логика доказательства программная логика высказывания исчисления разрешимость повторения локальные операторы
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=311150

Benzer Materyaller

Автоматическое образование гипотез. Математические основы общей теории: перевод с английского
Yazar:: Гаек П. Петр
Baskı/Yayın Bilgisi: (Москва, Наука, 1984)

Нижние оценки сложности и сложность универсальных схем
Yazar:: Нигматуллин Р. Г. Рошаль Габдулхаевич
Baskı/Yayın Bilgisi: (Казань, Изд-во Казанского ун-та, 1990)

Алгебраическое моделирование сложных систем
Yazar:: Иванов П. М. Петр Мацович
Baskı/Yayın Bilgisi: (Москва, Наука, 1996)

[Вып. 166]: Язык логики и логика языка: сборник статей; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1990)

Ч. 1; Условия А-полноты для конечных автоматов
Baskı/Yayın Bilgisi: (1986)

Вып. 35; Проблемы кибернетики
Baskı/Yayın Bilgisi: (1979)

Автоматы, алгорифмы, языки: межвузовский тематический сборник
Baskı/Yayın Bilgisi: (Калинин, Изд-во Калининского гос. ун-та, 1982)

Тесты (теория, построение, применение)
Yazar:: Соловьев Н. А. Николай Андреевич
Baskı/Yayın Bilgisi: (Новосибирск, Наука, 1978)

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Baskı/Yayın Bilgisi: (Калинин, Изд-во Калининского гос. ун-та, 1983)

Вопросы математической кибернетики: сборник научных трудов
Baskı/Yayın Bilgisi: (Минск, Изд-во МГПИ, 1979)

Вып. 136 : Техническая кибернетика и теория информации; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1988)

Элементы модальной логики: монография
Yazar:: Костюк В. Н. Владимир Николаевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1978)

Содержательная семантика модальной логики
Yazar:: Ивлев Ю. В. Юрий Васильевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1985)

Кибернетика. Вопросы теории и практики
Yazar:: Глушков В. М.
Baskı/Yayın Bilgisi: (Москва, Наука, 1986)

Вып. 120 : Протоколы и методы коммутации в вычислительных сетях; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1986)

[Вып. 172]: Методы доступа и архитектура локальных информационно-вычислительных сетей; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1992)

Математическая и техническая кибернетика
Baskı/Yayın Bilgisi: (Тбилиси, Мецниереба, 1983)

[Вып. 138] : Разработка и верификация протоколов информационно-вычислительных сетей; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1988)

Основы теории вероятностных автоматов
Yazar:: Бухараев Р. Г. Раис Гатич
Baskı/Yayın Bilgisi: (Москва, Наука, 1985)

Логика: учебное пособие для вузов
Yazar:: Ивин А. А. Александр Архипович
Baskı/Yayın Bilgisi: (Москва, Высшая школа, 2004)

[Вып. 101] : Психические состояния и эффективность деятельности; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1983)

Неклассические логики и лямбда-исчисление: некоторые элементы
Yazar:: Грибанов Д. В.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

Математическая и техническая кибернетика
Baskı/Yayın Bilgisi: (Тбилиси, Мецниереба, 1986)

Математическая и техническая кибернетика
Baskı/Yayın Bilgisi: (Тбилиси, Мецниереба, 1989)

Математическая и техническая кибернетика
Baskı/Yayın Bilgisi: (Тбилиси, Мецниереба, 1985)

Вып. 134: Сложность вычислений и прикладная математическая логика; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1988)

Вопросы кибернетики. Устройства и системы: сборник научных трудов
Baskı/Yayın Bilgisi: (Москва, МИРЭА, 1989)

Математическая и техническая кибернетика
Baskı/Yayın Bilgisi: (Тбилиси, Мецниереба, 1984)

Кибернетика и методология науки.
Yazar:: Бирюков Б. В. Борис Владимирович
Baskı/Yayın Bilgisi: (Москва, Наука, 1974)

[Вып. 144]: Имитационное моделирование деятельности оператора в авиации и космонавтике; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1990)

Вып. 86 : Дискретная математика и математическая кибернетика; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1982)

Математическая и техническая кибернетика: [сборник]
Baskı/Yayın Bilgisi: (Тбилиси, Мецниереба, 1979)

Математическая и техническая кибернетика: [сборник]
Baskı/Yayın Bilgisi: (Тбилиси, Мецниереба, 1980)

[Вып. 160]: Отказоустойчивые параллельные вычислительные системы реального времени; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1990)

Вып. 41; Проблемы кибернетики
Baskı/Yayın Bilgisi: (1984)

Вып. 121: Техническая кибернетика и теория информации; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1983)

[Вып. 165]: Программное обеспечение высокопроизводительной вычислительной системы; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1991)

[Вып. 131] : Проблемы сокращения перебора; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1987)

[Вып. 126]: Проблемы математического моделирования и экспертные системы; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1990)

[Вып. 153] : Проблемы теории биотехнических систем эргатического типа; Вопросы кибернетики
Baskı/Yayın Bilgisi: (1989)