Introduction à la linguistique formelle:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | French |
| Veröffentlicht: |
Cachan
Hermès Science Publ. [u.a.]
2009
|
| Schriftenreihe: | TIC et sciences cognitives
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Klappentext |
| Beschreibung: | X, 321 S. graph. Darst. |
| ISBN: | 9782746220102 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035838237 | ||
| 003 | DE-604 | ||
| 005 | 20100122 | ||
| 007 | t | ||
| 008 | 091120s2009 d||| |||| 00||| fre d | ||
| 020 | |a 9782746220102 |9 978-2-7462-2010-2 | ||
| 035 | |a (OCoLC)476142844 | ||
| 035 | |a (DE-599)BVBBV035838237 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-355 | ||
| 050 | 0 | |a P128.F67 | |
| 082 | 1 | |a 410 |2 1 | |
| 100 | 1 | |a Blin, Raoul |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Introduction à la linguistique formelle |c Raoul Blin |
| 264 | 1 | |a Cachan |b Hermès Science Publ. [u.a.] |c 2009 | |
| 300 | |a X, 321 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a TIC et sciences cognitives | |
| 650 | 4 | |a Formalization (Linguistics) | |
| 650 | 4 | |a Linguistic analysis (Linguistics) | |
| 650 | 4 | |a Mathematical linguistics | |
| 650 | 0 | 7 | |a Linguistik |0 (DE-588)4074250-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Grammatik |0 (DE-588)4154991-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Linguistik |0 (DE-588)4074250-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Grammatik |0 (DE-588)4154991-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 3 | |C b |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018696624&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018696624&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018696624 | ||
Datensatz im Suchindex
| _version_ | 1804140804757782528 |
|---|---|
| adam_text | Table des matières
Avant-propos
....................................... 1
Chapitre
1.
Introduction
................................ 5
1.1.
Que fait-on en linguistique
?.......................... 5
1.2.
Méthode
...................................... 8
1.2.1.
Les différents niveaux d une analyse linguistique
.......... 9
1.2.2.
Les contraintes qui pèsent sur la conception
d un dispositif d analyse
............................. 10
1.2.3.
Langage de description du dipositif
.................. 11
1.2.4.
Concevoir un dispositif formel
..................... 12
1.3.
Formalisme et informatisation
......................... 14
Chapitre
2.
Notions de base
.............................. 15
2.1.
Théorie des ensembles
:
ensemble, appartenance, élément
........ 15
2.1.1.
Etiquetage des ensembles
........................ 16
2.1.2.
Définir le contenu d un ensemble
:
définition extensionnelle
et intensionnelle
.................................. 16
2.2.
Langages formels
:
symbole, alphabet
.................... 19
2.3.
Théorie des ensembles
:
cardinal d un ensemble
.............. 21
2.4.
Théorie des ensembles
:
inclusion, sous-ensemble, égalité
........ 22
2.5.
Travailler sur une hypothèse de représentation
:
interprétation de la copule
.............................. 25
2.5.1.
Définition de l objet linguistique étudié
................ 25
2.5.2.
Corpus
................................... 26
2.5.3.
Observations
................................ 27
2.5.4.
Généralisation
............................... 27
2.5.5.
Formalisation des descriptions, hypothèse de représentation
... 28
VI
Introduction à la linguistique formelle
2.5.6.
Validation des représentations
..................... 29
2.5.7.
Conclusion
................................. 32
2.6.
Conventions d abréviations
.......................... 32
2.6.1.
Abréviation rs
............................... 32
2.6.2.
Pseudo
lambda-termes
.......................... 33
2.6.3.
Simplification des
pseudo
lambda-termes
.............. 34
2.7.
Théorie des ensembles
:
union
......................... 37
2.8.
Théorie des ensembles
:
intersection
..................... 39
2.9.
Application linguistique
:
l intersection dans la représentation
du groupe nominal
.................................. 40
2.9.1.
Données de départ
............................ 41
2.9.2.
Représentation du nom commun
.................... 41
2.9.3.
Hypothèse revisitée de représentation du
GnDetdef
......... 42
2.9.4.
Hypothèse de représentation du déterminant défini
dans un GNdetdef
................................. 42
2.10.
Théorie des ensembles
:
n-uplet
....................... 45
2.10.1.
η
-uplet,
présentation intuitive
..................... 46
2.10.2.
η
-uplet,
définition formelle
...................... 47
2.10.3.
Conventions et appellations
...................... 49
2.10.4.
Propriétés importantes des n-uplets
.................. 49
2.10.5.
Définitions récursives (ou inductives)
................ 50
2.11.
Langages formels
:
mots et langages
.................... 51
2.12.
Théorie des ensembles-.produit cartésien
................. 54
2.13.
Théorie des ensembles
:
relation
....................... 56
2.14.
Théorie des ensembles ¡relation fonctionnelle
.............. 58
2.15.
Théorie des ensembles
:
fonction
...................... 61
2.16.
Application linguistique: fonctions et noms fonctionnels
........ 62
2.16.1.
Données de départ
............................ 63
2.16.2.
Représentation du nom fonctionnel maire
dans
«
maire de
Nompropre »......................... 64
2.17.
Langages formels
:
la concaténation
.................... 67
2.18.
Langages formels
:
la substitution
...................... 69
Chapitre
3.
Syntaxe et grammaires formelles
................... 71
3.1.
Introduction
.................................... 71
3.2.
Principe de l analyse syntaxique formelle en linguistique
:
présentation avec exemple
.............................. 72
3.2.1.
Interprétabilité d un énoncé
....................... 72
3.2.2.
Test de commutation
........................... 73
3.2.3.
Convention de notation pour les catégories
.............. 74
3.2.4.
Procédure d analyse
........................... 75
Table
des matières
VII
3.2.5.
Première étape
............................... 76
3.2.6.
Deuxième étape
.............................. 77
3.2.7.
Troisième étape
.............................. 78
3.2.8.
Conclusion
................................. 78
3.2.9.
Produire des énoncés avec une grammaire
.............. 79
3.2.10.
Capacité de discrimination et intérêt linguistique
des grammaires
.................................. 80
3.2.11....
et le genre
? ...
et le nombre
?................... 81
3.3.
Règles de réécriture
............................... 81
3.4.
Dérivation
..................................... 82
3.5.
Grammaire
:
définition
............................. 86
3.5.1.
Conventions
................................ 89
3.5.2.
Récursivité
................................. 90
3.5.3.
Equivalence (faible) de grammaires
.................. 90
3.6.
Analyse syntaxique
............................... 91
3.7.
Application linguistique analyse de phrases
copulatives
........ 92
3.8.
Application linguistique
:
analyse syntaxique de la phrase japonaise
«
canonique
»..................................... 94
3.9.
Surgénération
................................... 97
3.10.
Comparer les grammaires
........................... 99
3.10.1.
Critère de fiabilité
............................ 99
3.10.2.
Critère d extensibilité et d intégration
................ 100
3.10.3.
Critère de simplicité et de compacité
................. 100
3.11.
Analyse combinée syntaxe et sémantique
................. 101
3.11.1.
Donner un sens aux symboles terminaux
.............. 101
3.11.2.
Associer des règles syntaxiques et sémantiques
.......... 101
3.11.3.
Exemple complet
............................ 104
3.12.
Conventions de simplifications pour les dispositifs
syntactico-sémantiques
................................ 106
3.13.
Les limites des grammaires algébriques
.................. 107
3.13.1.
Gestion des règles récursives inadaptée
aux besoins du linguiste
............................. 107
3.13.2.
Absence de sous-catégories
...................... 109
3.14.
Les limites de l analyse syntaxique
..................... 111
Chapitre
4.
Sémantique et logiques formelles
................... 113
4.1.
Sémantique
:
objet et méthode
......................... 113
4.1.1.
Sémantique inférentielle versus sémantique
referentielle..... 113
4.1.2.
Méthodologie
............................... 115
4.2.
Logiques formelles, vue d ensemble
..................... 116
4.3.
Logique des propositions
:
présentation
................... 118
VIII
Introduction à la linguistique formelle
4.4.
Logique des propositions
:
syntaxe du langage des propositions
.... 119
4.5.
Logique des propositions
:
axiomatique
................... 122
4.6.
Logique des propositions
:
calcul logique
.................. 123
4.6.1.
Les connecteurs
.............................. 132
4.6.2.
Utiliser des hypothèses
.......................... 132
4.7.
Sémantique d un système logique
:
principe
................ 134
4.8.
L addition booléenne
.............................. 135
4.9.
Sémantique de la logique des propositions
................. 136
4.9.1.
Transformer une formulebf propositionnelle
en une addition booléenne, présentation informelle
............. 136
4.9.2.
Sémantique, définition formelle
.................... 138
4.9.3.
Les autres connecteurs et opérations booléennes
.......... 139
4.10.
Correction, complétude et cohérence de la logique des propositions
. 140
4.11.
Démonstration d un théorème par la méthode des tables de vérités
. . 142
4.12.
Logique des propositions
:
application linguistique
........... 142
4.13.
Logique des prédicats
............................. 144
4.13.1.
Le langage des prédicats
........................ 145
4.13.2.
Substitution de variables
........................ 150
4.13.3.
Langage des théorèmes de la logique des prédicats
........ 152
4.14.
FormuleSbf des prédicats, conventions de simplifications
........ 153
4.15.
Logique des prédicats, représentations sémantiques
et sémantique inférentielle
.............................. 155
4.16.
Sémantique de la logique des prédicats
................... 156
4.16.1.
Définition du domaine
......................... 157
4.16.2.
Définition de la fonction d assignation
................ 158
4.16.3.
Définition de la fonction d assignation de variables
........ 158
4.16.4.
Définition de la fonction d évaluation
(#*)............. 159
4.16.5.
Correction, complétude et cohérence
de la logique des prédicats
........................... 163
4.17.
Transcrire un énoncé des mathématiques ensemblistes
en une formulebf des prédicats
........................... 164
4.18.
Un dispositif robuste pour les représentations sémantiques
....... 167
4.19.
Logique des prédicats
:
théorèmes et méta-théorèmes importants
... 167
4.19.1.
Propriétés des connecteurs
л
et
v
.................. 168
4.19.2.
Propriétés de la négation
........................ 168
4.19.3.
Propriétés des quantificateurs
..................... 169
4.19.4.
Substituabilité de l équivalence
.................... 169
4.19.5.
Hypothèses
................................ 170
4.20.
Mise sous forme clausale
........................... 170
4.20.1.
Légitimation du processus de mise sous forme clausale
..... 171
4.20.2.
Mise sous forme clausale, résumé avec exemple
.......... 171
Table
des matières
IX
4.20.3.
Procédure de mise sous forme normale d une formubbf
sans variables libres, avec rappel des théorèmes appliqués
........ 172
4.21.
Unification
................................... 179
4.22.
Résolution et réfutation
............................ 187
4.23.
Démonstration automatique
......................... 191
4.24.
Logique des prédicats, complément
..................... 197
4.24.1.
Expression de l égalité en logique des prédicats
.......... 197
4.24.2.
Expression de l unicité d une entité, en logique des prédicats
. . 198
4.25.
Valider une représentation sémantique
................... 201
4.25.1.
Vérifier des
inferences
......................... 201
4.25.2.
Vérifier une contradiction
....................... 202
4.26.
Les limites de la logique des prédicats pour l analyse linguistique.
. . 202
4.26.1.
Absence de variables pour les symboles de prédicats
ou de fonctions
.................................. 202
4.26.2.
Les formulesbf ne peuvent être argument de prédicats
ou de fonctions
.................................. 203
4.26.3.
Impossibilité de décomposer une formulebf
............. 203
4.26.4.
Conclusion
................................ 204
Chapitre
5.
Lambda-calcul non typé
........................ 205
5.1.
Lambda-calcul, théorie des types et logique des prédicats
........ 205
5.1.1.
A l origine
................................. 205
5.1.2.
Lambda-calcul et théorie des types
................... 206
5.1.3.
Théorie des types et logique des prédicats
................ 206
5.1.4....
et nous
.................................. 206
5.2.
Lambda-calcul non typé
:
définition
..................... 208
5.2.1.
Définition du langage des lambda-termes
............... 208
5.2.2.
Substitution de variable libre et capture de variable
......... 209
5.2.3.
Alpha-conversion
............................. 210
5.2.4.
Bêta-contraction
.............................. 211
5.2.5.
Abstraire
.................................. 212
5.3.
Notion de calcul etX-calcul
.......................... 214
5.4.
λ
-termes,
conventions de simplification
................... 216
5.5.
Conversion
λ
-terme
<-»
formulebf des prédicats
............... 217
5.6.
Exemple d analyse complète de phrases, version
1............ 219
5.7.
Exemple d analyse complète de phrases, version
2............ 221
5.8.
Exemple d analyse complète de phrases, version
3............ 222
X
Introduction à la linguistique formelle
Chapitre
6.
Contexte et bases de connaissances
.................. 227
6.1.
Prendre en compte les données contextuelles et les formaliser
...... 227
6.2.
Définition et conception formelle d une base de connaissances
..... 228
6.3.
Connaissances encyclopédiques
........................ 230
6.3.1.
Que mettre dans une base de connaissances à l usage
de l analyse linguistique
?............................ 231
6.3.2.
Comment formuler les connaissances
?................ 231
6.3.3.
Conclusion
................................. 233
6.4.
Connaissances encyclopédiques, connaissances partagées,
métaconnaissances
................................... 233
6.5.
Connaissances cotextuelles
.......................... 238
6.6.
Contexte énonciatif
............................... 239
6.7.
Complémentarité entre bases de connaissances
............... 242
6.7.1.
Compatibilité entre bases cotextuelles et bases énonciatives
. . . 242
6.7.2.
Complémentarité des bases énonciatives
et des bases encyclopédiques
.......................... 244
6.7.3.
Complémentarité entre bases énonciatives et bases cotextuelles
. 245
Chapitre
7.
Une puissante grammaire en logique des prédicats
....... 247
7.1.
Le principe
.................................... 247
7.1.1.
Une grammaire en logique des prédicats, version
1......... 248
7.1.2.
Une grammaire en logique des prédicats, version
2......... 250
7.1.3.
Une grammaire en logique des prédicats, version
3......... 252
7.1.4.
Une grammaire en logique des prédicats, version
4......... 253
7.1.5.
Conclusion
................................. 255
7.2.
Gérer les
recursions
............................... 255
7.2.1.
Première méthode
............................. 255
7.2.2.
Seconde méthode
............................. 257
7.3.
Traitements de structures distantes
...................... 259
Chapitre
8.
Conclusion
:
pour aller plus loin
................... 263
Annexe. Aide à l interprétation des formules de prédicats
........... 267
Correction des exercices
................................ 271
Bibliographie
....................................... 315
Index
................................. ..... 317
Cet ouvrage présente un ensemble complet d outils
permettant de travailler en linguistique formelle, syntaxe,
sémantique et pragmatique. Il ne nécessite pas de
connaissances pointues en mathématiques ou en
linguistique. Il donne tous les éléments pour concevoir des
analyseurs syntactico-sémantiques. Après un rappel des
notions de base en théorie des ensembles, sont abordées les
grammaires formelles, les logiques
cies
propositions et des
prédicats puis le lambda calcul.
Introduction
¿ι
la linguistique formelle montre au fur et à
mesure comment articuler le tout pour faire des analyses
linguistiques. La présentation des notions théoriques est
systématiquement accompagnée d exercices corrigés et
d exemples d application à l étude du français. Enfin,
l exposé est complété par des études de cas en japonais,
lacilement
compréhensibles pour un public non spécialisé.
L auteur
Raoul
Blin,
chercheur CNRS (CRLAO), est spécialisé en
linguistique japonaise et linguistique formelle.
|
| any_adam_object | 1 |
| author | Blin, Raoul |
| author_facet | Blin, Raoul |
| author_role | aut |
| author_sort | Blin, Raoul |
| author_variant | r b rb |
| building | Verbundindex |
| bvnumber | BV035838237 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P128 |
| callnumber-raw | P128.F67 |
| callnumber-search | P128.F67 |
| callnumber-sort | P 3128 F67 |
| callnumber-subject | P - Philology and Linguistics |
| ctrlnum | (OCoLC)476142844 (DE-599)BVBBV035838237 |
| dewey-full | 410 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 410 - Linguistics |
| dewey-raw | 410 |
| dewey-search | 410 |
| dewey-sort | 3410 |
| dewey-tens | 410 - Linguistics |
| discipline | Sprachwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02081nam a2200505 c 4500</leader><controlfield tag="001">BV035838237</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100122 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091120s2009 d||| |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9782746220102</subfield><subfield code="9">978-2-7462-2010-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)476142844</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035838237</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P128.F67</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">410</subfield><subfield code="2">1</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blin, Raoul</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction à la linguistique formelle</subfield><subfield code="c">Raoul Blin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cachan</subfield><subfield code="b">Hermès Science Publ. [u.a.]</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 321 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">TIC et sciences cognitives</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formalization (Linguistics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistic analysis (Linguistics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical linguistics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Grammatik</subfield><subfield code="0">(DE-588)4154991-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Formale Grammatik</subfield><subfield code="0">(DE-588)4154991-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="C">b</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018696624&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018696624&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018696624</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV035838237 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:05:48Z |
| institution | BVB |
| isbn | 9782746220102 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018696624 |
| oclc_num | 476142844 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR |
| owner_facet | DE-355 DE-BY-UBR |
| physical | X, 321 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Hermès Science Publ. [u.a.] |
| record_format | marc |
| series2 | TIC et sciences cognitives |
| spelling | Blin, Raoul Verfasser aut Introduction à la linguistique formelle Raoul Blin Cachan Hermès Science Publ. [u.a.] 2009 X, 321 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier TIC et sciences cognitives Formalization (Linguistics) Linguistic analysis (Linguistics) Mathematical linguistics Linguistik (DE-588)4074250-7 gnd rswk-swf Formale Grammatik (DE-588)4154991-0 gnd rswk-swf Lambda-Kalkül (DE-588)4166495-4 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Linguistik (DE-588)4074250-7 s DE-604 Formale Grammatik (DE-588)4154991-0 s Formale Semantik (DE-588)4122144-8 s Lambda-Kalkül (DE-588)4166495-4 s b DE-604 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018696624&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018696624&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Blin, Raoul Introduction à la linguistique formelle Formalization (Linguistics) Linguistic analysis (Linguistics) Mathematical linguistics Linguistik (DE-588)4074250-7 gnd Formale Grammatik (DE-588)4154991-0 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Formale Semantik (DE-588)4122144-8 gnd |
| subject_GND | (DE-588)4074250-7 (DE-588)4154991-0 (DE-588)4166495-4 (DE-588)4122144-8 (DE-588)4151278-9 |
| title | Introduction à la linguistique formelle |
| title_auth | Introduction à la linguistique formelle |
| title_exact_search | Introduction à la linguistique formelle |
| title_full | Introduction à la linguistique formelle Raoul Blin |
| title_fullStr | Introduction à la linguistique formelle Raoul Blin |
| title_full_unstemmed | Introduction à la linguistique formelle Raoul Blin |
| title_short | Introduction à la linguistique formelle |
| title_sort | introduction a la linguistique formelle |
| topic | Formalization (Linguistics) Linguistic analysis (Linguistics) Mathematical linguistics Linguistik (DE-588)4074250-7 gnd Formale Grammatik (DE-588)4154991-0 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Formale Semantik (DE-588)4122144-8 gnd |
| topic_facet | Formalization (Linguistics) Linguistic analysis (Linguistics) Mathematical linguistics Linguistik Formale Grammatik Lambda-Kalkül Formale Semantik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018696624&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018696624&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT blinraoul introductionalalinguistiqueformelle |