Фотография Юрий Вячеславович отсутствует Нечитайлов

Нечитайлов Юрий Вячеславович

  • 0 всего цитирований публикаций, внесённых в Pure
  • 0 h-индекс по публикациям в Pure
19962018
Если Вы внесли какие-либо изменения в Pure, они скоро будут показаны здесь.

Результаты исследований 1996 2018

Фильтр
статья в сборнике материалов конференции
2015

Понимание и объяснение в эпистемической адаптивной логике

Нечитайлов, Ю. В., 2015, Девятые Смирновские чтения по логике Материалы международной научной конференции 17 – 19 июня 2015 г. Москва.

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучная

2013

Basic Principles for the Dynamic Elimination of the Logical Omniscience

Нечитайлов, Ю. В., 2013, Philosophy, Mathematics Linguistics: Aspects of Interaction. Proceedings of International Scientific Conference, St. Petersburg, Russia: Euler International Mathematical Institute..

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучная

2011

Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением

Конюхова, А. Б. & Нечитайлов, Ю. В., 2011, Материалы международной научной конференции “Седьмые Смирновские чтения по логике”. стр. 25-27

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучная

2010

Изменение методов работы со студентами как основа возрождения научных логических школ

Нечитайлов, Ю. В. & Орлова, А. Г., 2010, Материалы научно-практической конференции «Проблемы преподавания логики и дисциплин логического цикла».

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучная

2006

An Incompleteness Problem Related with a Way of Indirect Knowledge Representation in the Models of Basic Epistemic Logic

Denisova, V. G. & Nechitaylov, Y. V., 2006, Studia Logica International Conference “Towards Mathematical Philosophy: Trends in Logic IV”.

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучная

2001

An Improvement of Brodsky’s Coding Method for the Sequent Calculus of First Order Logic

Moukhachjov, V. P. & Nechitailov, I. V., 2001, IJCAR 2001-International Joint Conference on Automated Reasoning. стр. 113-121

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучная