Descripteur
Documents disponibles dans cette catégorie (26)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externes
Etendre la recherche sur niveau(x) vers le bas
Précision et plénitude de la cartographie topographique, dérivée des images de Spot / D.J. Gugan in Bulletin d'information de l'Institut géographique national, n° 56 (décembre 1988)
[article]
Titre : Précision et plénitude de la cartographie topographique, dérivée des images de Spot Type de document : Article/Communication Auteurs : D.J. Gugan, Auteur ; Ian J. Dowman, Auteur Année de publication : 1988 Article en page(s) : pp 25 - 32 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Photogrammétrie
[Termes IGN] Aix-en-Provence
[Termes IGN] cartographie topographique
[Termes IGN] image SPOT
[Termes IGN] Manosque
[Termes IGN] modèle numérique de terrain
[Termes IGN] modèle stéréoscopique
[Termes IGN] photo-interprétation
[Termes IGN] précision géométrique (imagerie)
[Termes IGN] qualité d'image
[Termes IGN] restitution
[Termes IGN] sémantiqueNuméro de notice : A1988-256 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=24835
in Bulletin d'information de l'Institut géographique national > n° 56 (décembre 1988) . - pp 25 - 32[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 015-88021 RAB Revue Centre de documentation En réserve L003 Disponible Logique et language / F. Nef (1988)
Titre : Logique et language : Essais de sémantique intensionnelle Type de document : Monographie Auteurs : F. Nef, Auteur Editeur : Paris : Hermès Année de publication : 1988 Importance : 178 p. Format : 15 x 23 cm ISBN/ISSN/EAN : 978-2-86601-144-4 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Linguistique
[Termes IGN] logique
[Termes IGN] sémantique
[Termes IGN] structure syntaxiqueNote de contenu : Introduction
Chapitre 1. Présentation du domaine
1.1. De Frege à Church
1.2. De Church à Montague
1.3. Le passé récent
Chapitre 2. Sémantique formelle et syntaxe catégorielle
2.1. Introduction
2.2. Convention T et théorie tarskienne de la vérité
2.3. Convention T et langage naturel
2.4. Forme logique et logique des prédicats du premier ordre
2.5. La logique naturelle de la sémantique générative
2.6. Langage ambigu et langage désambiguïsé
2.7. Définition formelle d'un langage désambiguïsé
2.8. Syntaxe catégorielle
2.9. Règles syntaxiques
2.10. Exemple d'analyse syntaxique élémentaire
2.11. Sémantique : théorie de la signification
2.12. Théorie de la référence : types, coordonnées
2.13. Théorie de la référence : définitions
Chapitre 3. Logique intensionnelle et extensions de la grammaire de Montague
3.1. Insuffisance de la logique extensionnelle
3.2. Opérateurs intensionnels et vérifonctionnalité
3.3. Architecture générale de la logique intensionnelle
3.4. Syntaxe et sémantique de la logique intensionnelle de PTQ
3.5. Théorie de la traduction
3.6. Catégories et types
3.7. Traduction de la langue naturelle en logique intensionnelle
3.8. Ontologie et modèles d'interprétation
3.9. Extensions de la sémantique de Montague : théorie formelle des implicatures
3.10. Extensions (suite) : structures de représentation discursive et espaces mentaux
3.11. Conclusion
Chapitre 4. Logique intensionnelle et sémantique
4.1. Introduction
4.2. La place centrale de la logique intensionnelle dans la sémantique de Montague
4.3 Méthode directe ou indirecte : peut-on se passer de la logique intensionnelle ?
4.4. Mise en cause de l'opposition «direct/indirect»
4.5. Logique intensionnelle, langage pragmatique et réduction
4.6. Passage à un ordre supérieur
4.7. L'inclusion de la pragmatique dans la logique intensionnelle
4.8. La logique intensionnelle comme grammaire logique de la traduction
4.9. EFL, PTQ et l'opposition entre sémantique frégéenne et sémantique russellienne
4.10. Conclusion
Chapitre 5. De la sémantique intensionnelle à la sémantique des situations
5.1. Sémantique frégéenne et sémantique russellienne
5.2. La sémantique intensionnelle de la référence
5.3. La théorie des déictiques en termes de référence directe : D. Kaplan
5.4. Représentation du discours, dynamique de l'interprétation et référence
5.5. La sémantique des situations de Barwise et Perry
5.6. Conclusion
Chapitre 6. Représentations discursives et argumentation
6.1. Introduction
6.2. Sémantique des représentations discursives et instructions
6.3. Révision des représentations discursives et argumentation
6.4. Mécanismes de construction, de révision et dialogue
6.5. Représentations discursives, raisonnement et connaissances
6.6. Conclusion
ConclusionNuméro de notice : 14170 Affiliation des auteurs : non IGN Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=62625 Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 14170-01 28.00 Livre Centre de documentation En réserve M-103 Disponible Structures for geo-information and their application in selective sampling for digital terrain models / B. Makarovic in ITC journal, vol 1984 n° 4 (December 1984)
[article]
Titre : Structures for geo-information and their application in selective sampling for digital terrain models Type de document : Article/Communication Auteurs : B. Makarovic, Auteur Année de publication : 1984 Article en page(s) : pp 285 - 295 Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Photogrammétrie
[Termes IGN] classification
[Termes IGN] échantillonnage
[Termes IGN] modèle conceptuel de données localisées
[Termes IGN] modèle numérique de terrain
[Termes IGN] sémantique
[Termes IGN] système d'information géographique
[Termes IGN] système métriqueNuméro de notice : A1984-079 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=23850
in ITC journal > vol 1984 n° 4 (December 1984) . - pp 285 - 295[article]Réservation
Réserver ce documentExemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 075-84041 RSREV Revue Centre de documentation En réserve L-101 Disponible 075-84042 RSREV Revue Centre de documentation En réserve L-101 Disponible Essai de classification des exonymes / IGN in Bulletin d'information de l'Institut géographique national, n° 35 (mars 1978)
[article]
Titre : Essai de classification des exonymes Type de document : Article/Communication Auteurs : IGN, Auteur Année de publication : 1978 Article en page(s) : pp 13 - 23 Langues : Français (fre) Descripteur : [Vedettes matières IGN] Toponymie
[Termes IGN] Europe (géographie politique)
[Termes IGN] exonyme
[Termes IGN] sémantique
[Termes IGN] villeNuméro de notice : A1978-003 Affiliation des auteurs : non IGN Thématique : TOPONYMIE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=23356
in Bulletin d'information de l'Institut géographique national > n° 35 (mars 1978) . - pp 13 - 23[article]Réservation
Réserver ce documentExemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 015-78012 RAB Revue Centre de documentation En réserve L003 Disponible 015-78011 RAB Revue Centre de documentation En réserve L003 Disponible Projet de glossaire de topologie planigraphique E04H / Afnor (1976)
Titre : Projet de glossaire de topologie planigraphique E04H Type de document : Dictionnaire / Usuel Auteurs : Afnor, Auteur ; Comite d'etudes dessins techniques, Auteur Editeur : Paris-La Défense : Association Française de Normalisation AFNOR Année de publication : 1976 Importance : 98 p. Format : 21 x 30 cm Langues : Français (fre) Descripteur : [Vedettes matières IGN] Terminologie
[Termes IGN] cartographie automatique
[Termes IGN] dessin automatique
[Termes IGN] normalisation
[Termes IGN] sémantique
[Termes IGN] sémiologie graphique
[Termes IGN] topologieNuméro de notice : 55549 Affiliation des auteurs : non IGN Nature : Dictionnaire Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=38335 Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 55549-01 86.06 Livre Centre de documentation Langues et terminologie Exclu du prêt Introduction à la théorie des sous-ensembles flous, 2. Tome 2, Applications à la linguistique, à la logique et à la sémantique / A. Kaufmann (1975)PermalinkCartographie communication and standardization / Christopher Board in Annuaire international de cartographie, n° 13 (1973)PermalinkOn some problems in the semiotics of visual art: field and vehicle in image-signs / Meyer Schapiro in Semiotica, vol 1 n° 3 (January 1969)PermalinkEssai sur les noms de lieux d'Algérie et de Tunisie / A. Pellegrin (1949)PermalinkEtude de toponymie alpine / F. Montandon (1929)PermalinkLes noms de lieu de la France / A. Longnon (1929)PermalinkLa géographie linguistique / A. Dauzat (1922)Permalink