Увійти

Готові списки джерел за темами / Mathematical Logic and Formal Languages / Книги

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Mathematical Logic and Formal Languages.

Книги з теми "Mathematical Logic and Formal Languages"

Автор: Grafiati

Опубліковано: 4 червня 2021

Оновлено: 29 липня 2024

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Mathematical Logic and Formal Languages".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Srivastava, S. M. A Course on Mathematical Logic. 2nd ed. New York, NY: Springer New York, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Srivastava, S. M. A course on mathematical logic. New York: Springer, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Casadio, C. Logic for grammar: Developments in linear logic and formal linguistics. Roma: Bulzoni, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Colloquium on Logic, Language, Mathematics Linguistics (3rd 1991 Brașov, Romania). Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 mai 1991. Brasov: Transilvania University of Brasov, Faculty of Sciences, Dept. of Mathematics, 1991.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Larrazabal, Jesús M. Logic Colloquium' 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

service), SpringerLink (Online, ed. Logica: Metodo Breve. Milano: Springer Milan, 2011.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

1953-, Delzell Charles N., ed. Mathematical logic and model theory: A brief introduction. London: Springer, 2011.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

A, Carnielli Walter, ed. Analysis and synthesis of logics: How to cut and paste reasoning systems. Dordrecht: Springer, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

International Colloquium on Grammatical Inference (10th 2010 Valencia, Spain). Grammatical inference: theoretical results and applications: 10th international colloquium ; proceedings. Berlin: Springer, 2010.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

International Colloquium on Grammatical Inference (9th 2008 Saint-Malo, France). Grammatical inference: Algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings. [New York]: Springer-Verlag Berlin Heidelberg, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

International Colloquium on Grammatical Inference (9th 2008 Saint-Malo, France). Grammatical inference: Algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings. [New York]: Springer-Verlag Berlin Heidelberg, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Jech, Thomas J. Set theory. 2nd ed. Berlin: Springer, 1997.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Alexander, Clark, Coste François, and Miclet Laurent, eds. Grammatical inference: Algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings. [New York]: Springer-Verlag Berlin Heidelberg, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Timofeeva, M. K. Естественные и формальные языки. Novosibirsk: In-t matematiki im. S.L. Soboleva SO RAN, 2003.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Wybraniec-Skardowska, Urszula. Theory of language syntax: Categorial approach. Dordrecht: Kluwer Academic Publishers, 1991.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Fülöp, Zoltán. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

G, Kosarev I͡U︡, Goncharov S. S, and Institut matematiki (Akademii͡a︡ nauk SSSR. Sibirskoe otdelenie), eds. Logiko-matematicheskie osnovy problemy MOZ: Sbornik nauchnykh trudov. Novosibirsk: Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki, 1985.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Geldsetzer, Lutz. Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements. Dordrecht: Springer Netherlands, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

service), SpringerLink (Online, ed. Hybrid Logic and its Proof-Theory. Dordrecht: Springer Science+Business Media B.V., 2011.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Matthias, Baaz, and SpringerLink (Online service), eds. Methods of Cut-Elimination. Dordrecht: Springer Science+Business Media B.V., 2011.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Johnsen, Einar Broch. Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Świętorzecka, Kordula. Classical conceptions of the changeability of situations and thing represented in formalized languages. Warszawa: Wydawn. Uniwersytetu Kardynała Stefana Wyszyńskiego, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

23

service), SpringerLink (Online, ed. Proofs and Algorithms: An Introduction to Logic and Computability. London: Springer-Verlag London Limited, 2011.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Biela, Andrzej. Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories. Katowice: Wydawn. Uniwersytetu Śląskiego, 2000.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Seising, Rudolf. On Fuzziness: A Homage to Lotfi A. Zadeh – Volume 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Binder, Walter. Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Karl, Schlechta, and SpringerLink (Online service), eds. Conditionals and Modularity in General Logics. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2011.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Tanaka, Kōji. Paraconsistency: Logic and Applications. Dordrecht: Springer Netherlands, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Fitting, Melvin. Beyond two: Theory and applications of multiple-valued logic. Edited by Orlowska Ewa. Heidelberg: Physica-Verlag, 2003.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

tre), Roma Workshop (5th 2001 University of Roma. New perspectives in logic and formal linguistics: Proceedings of the Vth Roma Workshop. Roma: Bulzoni, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

W, Watson Bruce, ed. The correctness-by-construction approach to programming. Berlin: Springer, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Artemov, Sergei. Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

The formal semantics of programming languages: An introduction. Cambridge, Mass: MIT Press, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Ben-Ari, Mordechai. Mathematical Logic for Computer Science. Springer London, Limited, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Logikk og beregnbarhet. Oslo, Norway: Unipub forlag, 2001.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Beziau, Jean-Yves. Logica Universalis: Towards a General Theory of Logic. Springer London, Limited, 2007.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Logica Universalis: Towards a General Theory of Logic. Springer London, Limited, 2005.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Beziau, Jean-Yves. Logica Universalis: Towards a General Theory of Logic. Birkhäuser Basel, 2005.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Beziau, Jean-Yves. Logica Universalis: Towards a General Theory of Logic. Birkhauser, 2005.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Logica Universalis: Towards a General Theory of Logic. 2nd ed. Birkhäuser Basel, 2007.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

King, Jeffrey C. Formal Semantics. Edited by Ernest Lepore and Barry C. Smith. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199552238.003.0023.

Повний текст джерела

Анотація:

Semantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce precisely characterized theories of meaning for natural languages (i.e. naturally occurring languages such as English, Urdu, etc.) or artificial languages (i.e. first-order predicate logic, computer programming languages etc.). Formal semantics as we know it first arose in the twentieth century. It was made possible by certain developments in logic during that period. This article chronicles those developments and how they led to the development of formal semantics.

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Higuera, Colin de la. Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, 2010.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Higuera, Colin de la. Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, 2014.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Higuera, Colin de la. Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, 2010.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Higuera, Colin de la. Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, 2011.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Orlowska, Ewa, and Joanna Golińska Pilarek. Dual Tableaux : Foundations, Methodology, Case Studies: Foundations, Methodology, Case Studies. Springer, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Novaes, Catarina Dutilh. Formal Languages in Logic: A Philosophical and Cognitive Analysis. University of Cambridge ESOL Examinations, 2014.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Novaes, Catarina Dutilh. Formal Languages in Logic: A Philosophical and Cognitive Analysis. Cambridge University Press, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Novaes, Catarina Dutilh. Formal Languages in Logic: A Philosophical and Cognitive Analysis. Cambridge University Press, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Novaes, Catarina Dutilh. Formal Languages in Logic: A Philosophical and Cognitive Analysis. Cambridge University Press, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!