Нестандартные логики. Реляционная семантика : электрон. учеб.-метод. комплекс дисциплины
Цифровые и тематические книжные коллекции издания
Содержание
- Нестандартные логики. Реляционная семантика : курс лекций направления 010300.68 "Математика и компьютерные науки"М. И. Голованов [и др.] ; Сиб. федер. ун-т, Ин-т математики и фундамент. информатики
- Нестандартные логики. Реляционная семантика : учеб.-метод. обеспечение самостоят. работы студентов направления 010300.68 "Математика и компьютерные науки"М. И. Голованов [и др.] ; Сиб. федер. ун-т, Ин-т математики и фундамент. информатики
- Нестандартные логики. Реляционная семантика : презентация направления 010300.68 "Математика и компьютерные науки"Сиб. федер. ун-т, Ин-т математики и фундамент. информатики
- Нестандартные логики. Реляционная семантика : организац.-метод. указ. по освоению дисциплины направления 010300.68 "Математика и компьютерные науки"Сиб. федер. ун-т, Ин-т математики и фундамент. информатики ; сост. М. И. Голованов [и др.]
- Нестандартные логики. Реляционная семантика : учеб. программа дисциплины направления 010300.68 "Математика и компьютерные науки"Сиб. федер. ун-т, Ин-т математики и фундамент. информатики ; сост.: М. И. Голованов, В. Р. Кияткин, Е. М. Юрасова
Похожие публикации
Логика и методология научных исследований : электрон. учеб.-метод. комплекс [для студентов напр. подг. 150100 …
- Кравцова Елена Дагриевна и др.
- 2013 год
Логика : электрон. учеб.-метод. комплекс [для студентов напр. подготовки 080100.62 «Экономика»]
- Дуреева Наталья Сергеевна
- 2016 год
Элементы математической логики. Алгоритмы и рекурсивные функции : учеб.-метод. пособие [для практич. занятий для…
- Рыбаков Владимир Владимирович и др.
- 2012 год
Допустимые и выводимые правила вывода в нестандартных логиках : автореферат диссертации … кандидата физико…
- Юрасова Екатерина Михайловна
- 2004 год
Исследование правил вывода в нестандартных логиках : автореферат диссертации ... кандидата физико-математических наук
- Федоришин Богдан Романович
- 2002 год
Явный базис допустимых правил вывода логик конечной ширины : статья из журнала
- Римацкий В. В.
- 2008 год
Математическая логика и теория алгоритмов : учебная программа
- Моисеенкова Татьяна Владимировна
- 2025 год
Математическая логика и теория алгоритмов : учебное пособие
- Богульская Нина Александровна и др.
- 2011 год
Математическая логика и теория алгоритмов : учебное пособие
- Вайнштейн Юлия Владимировна и др.
- 2019 год
Исследование правил вывода в модальных логиках, расширяющих S4 : автореферат дис. ... канд. физ.-мат. наук
- Кияткин Владимир Ростиславович
- 1999 год
Математическая логика и теория алгоритмов : методические указания по выполнению контрольной работы
- Вайнштейн Юлия Владимировна
- 2009 год