Научно-исследовательская работа по теме: «Исследование свойств расширений базисной и формальной логик Виссера» (в рамках гранта РНФ - соглашение № 21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). (Offre №62257512fr)

S'inscrire

Partager:
Country: Russian Federation
Langue: RU
Client: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ ПРОБЛЕМ ПЕРЕДАЧИ ИНФОРМАЦИИ ИМ. А.А. ХАРКЕВИЧА РОССИЙСКОЙ АКАДЕМИИ НАУК
Nombre: 62257512
Date de publication: 21-05-2022
Prix du contrat de départ: 16 094 (EUR)
Montant original: 950 000 (RUB)

Source:

Contrats Commandes Protocoles

La description

Les informations complètes sur l'appel d'offres sont fermées.
Pour plus d'informations sur le site, lisez les informations ci-dessous.

À propos de nous

Premier moteur de recherche pour les appels d'offres et les achats en Russie et dans le monde

  • La plus grande base de données d'appels d'offres et de sources d'approvisionnement en Russie et dans le monde
  • Newsletter quotidienne gratuite selon vos paramètres
  • Informations sur les lauréats dans le format dont vous avez besoin
  • Affichage pratique et téléchargement d'informations

Choisissez-nous

Mise en route

Inscription sur le site, après quoi les fonctions du site suivantes sont à votre disposition:

  • Abonnez-vous à des listes de diffusion gratuites pour vos phrases clés
  • Afficher les annonces d'appels d'offres
  • Exporter les informations récapitulatives au format Excel
  • Voir une partie des informations sur les gagnants, fournisseurs et clients des appels d'offres

Enregistrement

Pour utiliser toutes les fonctions du site et afficher toutes les informations, vous devez créer un compte commercial

  • Tarif sélectionné
  • Payez l'accès de l'une des manières possibles

Accès total
Научно-исследовательская работа по теме: «Уточнение степенных разложений решений второго члена четвертой иерархии Пенлеве и алгоритм нахождения формальных асимптотических разложений решений q-разностных уравнений, содержащих логарифмы» (в рамках гранта РНФ - соглашение № 22-21-00717 от 21.12.2021г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Исследование сходимости формальных сложных степенно-логарифмических рядов, удовлетворяющих алгебраическому ОДУ» (в рамках гранта РНФ - соглашение № 22-21-00717 от 21.12.2021г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Исследование свойств произведений логик» (в рамках гранта РНФ - соглашение №21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Изучение свойств теорий некоторых логик» (в рамках гранта РНФ - соглашение №21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Исследование семантических и теоретико-доказательных свойств логик Виссера, а также их связи с модальными логиками» (в рамках гранта РНФ - соглашение № 21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Объединенная логика задач и высказываний первого порядка» (в рамках гранта РНФ – соглашение №21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). Source: zakupki.gov.ru