Guid-O

Risposte nei forum create

Stai visualizzando 10 risposte – dal 1 al 10 (di 10 totali)
  • Autore
    Risposte
  • in risposta a: Ordinare più record con stesso autore e data su BibTeX #31440
    Up
    0
    Down
    ::


    ecco l’elenco:

    *File List*
    book.cls 2005/09/16 v1.4f Standard LaTeX document class
    bk11.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
    babel.sty 2005/11/23 v3.8h The Babel package
    bblopts.cfg 2006/07/31 v1.0 MiKTeX ‘babel’ configuration
    english.ldf 2005/03/30 v3.3o English support from the babel system
    germanb.ldf 2004/02/19 v2.6k German support from the babel system
    italian.ldf 2005/11/17 v1.2r Italian support from the babel system
    inputenc.sty 2006/05/05 v1.1b Input encoding file
    latin1.def 2006/05/05 v1.1b Input encoding file
    microtype.sty 2008/11/11 v2.3c Micro-typography with pdfTeX (RS)
    keyval.sty 1999/03/16 v1.13 key=value parser (DPC)
    microtype.cfg 2008/11/11 v2.3c microtype main configuration file (RS)
    indentfirst.sty 1995/11/23 v1.03 Indent first paragraph (DPC)
    enumitem.sty 2007/06/30 v2.1 Customized lists
    natbib.sty 2007/10/30 8.1 (PWD)
    amsmath.sty 2000/07/18 v2.13 AMS math features
    amstext.sty 2000/06/29 v2.01
    amsgen.sty 1999/11/30 v2.0
    amsbsy.sty 1999/11/29 v1.2d
    amsopn.sty 1999/12/14 v2.01 operator names
    amsthm.sty 2004/08/06 v2.20
    amsfonts.sty 2001/10/25 v2.2f
    amssymb.sty 2002/01/22 v2.2d
    graphicx.sty 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
    graphics.sty 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)
    trig.sty 1999/03/16 v1.09 sin cos tan (DPC)
    graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
    pdftex.def 2007/06/12 v0.04h Graphics/color for pdfTeX
    mathtools.sty 2008/08/01 v1.06 mathematical typesetting tools (MH)
    calc.sty 2005/08/06 v4.2 Infix arithmetic (KKT,FJ)
    mhsetup.sty 2007/12/03 v1.2 programming setup (MH)
    fancyhdr.sty
    lgrcmr.fd 2001/01/30 v2.2e Greek Computer Modern
    supp-pdf.tex
    umsa.fd 2002/01/19 v2.2g AMS font definitions
    umsb.fd 2002/01/19 v2.2g AMS font definitions
    cap1.tex
    omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
    1925.tex
    1932.tex
    Tesi-TeX.bbl

    in risposta a: Ordinare più record con stesso autore e data su BibTeX #31438
    Up
    0
    Down
    ::


    il file tex:

    `
    \documentclass[a4paper,11pt,draft,openany]{book}

    \usepackage[english, german, italian]{babel}
    \usepackage[latin1]{inputenc}
    \usepackage{microtype}
    \usepackage{indentfirst}
    \usepackage{enumitem}
    \usepackage[square,sort]{natbib}
    \usepackage[leqno]{amsmath}
    \usepackage{amsthm}
    \usepackage{amsfonts}
    \usepackage{amssymb}
    \usepackage{graphicx}
    \usepackage{mathtools}

    \begin{document}

    \frontmatter
    \title{Kolmogorov}
    \author{Guido Mazzoni}
    \date{}
    \maketitle

    \tableofcontents

    \chapter{Introduzione}

    \mainmatter

    \chapter{Capitolo 1}

    \cleardoublepage
    \addcontentsline{toc}{chapter}{\bibname}
    \nocite{*}
    \bibliographystyle{classic}
    \bibliography{Tesi-TeX}

    \backmatter

    \end{document}`

    L’opzione [numeric] che usi per natbib mi produce un errore, l’opzione sembra inesistente per natbib.

    Il file bib corretto:

    `@article{Heyting:1930a,
    author = {Arend Heyting},
    title = {Die formalen Regeln der intuitionistischen Logik},
    journal = {Sitzungsberichte der Preussischen Akademie der Wissenschaften \emph{(16/1/1930)}},
    year = {1930},
    pages = {42-56}
    }

    @article{Heyting:1930b,
    author = {Arend Heyting},
    title = {Die formalen Regeln der intuitionistischen Logik},
    journal = {Sitzungsberichte der Preussischen Akademie der Wissenschaften \emph{(16/1/1930)}},
    year = {1930},
    pages = {57-71}
    }

    @article{Heyting:1930c,
    author = {Arend Heyting},
    title = {Die formalen Regeln der intuitionistischen Logik},
    journal = {Sitzungsberichte der Preussischen Akademie der Wissenschaften \emph{(20/3/1930)}},
    year = {1930},
    pages = {158-169}
    }

    @article{Heyting:1930d,
    author = {Arend Heyting},
    title = {Sur la logique intuitionniste},
    journal = {Acad\'emie Royale de Belgique, Bulletin de la Classe des Sciences},
    year = {1930},
    volume = {16},
    pages = {957-963}
    }`

    in risposta a: Ordinare più record con stesso autore e data su BibTeX #31436
    Up
    0
    Down
    ::


    tutti quegli errori sono dovuti al fatto che ho semplificato un po’ le voci per poterle postare qui… ma ho fatto un po’ un casino 🙄
    uso natbib con stile classic. quindi secondo te dipende da come è stato programmato lo stile?

    in risposta a: Eliminare la separazione dei nomi abbreviati con BibTeX #31330
    Up
    0
    Down
    ::

    \,

    Ciao
    Enrico

    ok grazie!!
    Guido

    in risposta a: Eliminare la separazione dei nomi abbreviati con BibTeX #31328
    Up
    0
    Down
    ::

    Evidentemente chi ha scritto quello stile bibliografico ha le mie stesse opinioni su come scrivere più iniziali. 🙂 Di sicuro non vanno appiccicate, ma come minimo separate da uno spazio sottile.

    Ciao
    Enrico

    Per spazio sottile intendi lo spazio $\ $ in ambiente matematico? Ho provato ma mi genera lo stesso spazio di prima. Forse sono io che cerco di fare qualcosa di impossibile 🙄

    in risposta a: BibTeX sbaglia ad ordinare i cognomi preceduti da “van& #30471
    Up
    0
    Down
    ::


    ok grazie.. scusa per le bestialità!
    ciao

    in risposta a: BibTeX sbaglia ad ordinare i cognomi preceduti da “van& #30469
    Up
    0
    Down
    ::


    Il file .tex principale:

    `
    \documentclass[a4paper,11pt,draft,openany]{book}%

    \usepackage[english, german, italian]{babel}%
    \usepackage[latin1]{inputenc}%
    \usepackage{microtype}%
    \usepackage{indentfirst}%
    \usepackage{enumitem}%
    \usepackage[square,sort]{natbib}%
    \usepackage[leqno]{amsmath}%
    \usepackage{amsthm}%
    \usepackage{amsfonts}%
    \usepackage{amssymb}%
    \usepackage{graphicx}%
    \usepackage{mathtools}%
    %———————————————————-
    \raggedbottom
    %———————————————————-
    \allowdisplaybreaks[2]
    %———————————————————-

    \begin{document}

    \frontmatter
    \title{Kolmogorov}
    \author{}
    \date{}
    \maketitle

    \tableofcontents

    \mainmatter

    \input{1925}

    \input{1932}

    \cleardoublepage
    \addcontentsline{toc}{chapter}{\bibname}
    \nocite{*}
    \bibliographystyle{classic}
    \bibliography{Tesi-TeX}

    \backmatter

    \end{document}`

    Ecco anche una parte della bibliografia:

    `
    @InCollection{vanAtten,
    author = {van Atten, Mark},
    title = {\inglese{The Development of Intuitionistic Logic}},
    booktitle = {\inglese{The Stanford Encyclopedia of Philosophy}},
    editor = {Edward N. Zalta},
    note = {{\url{http://plato.stanford.edu/archives/win2008/entries/\\intuitionistic-logic-development/}}},
    year = {2008}
    }

    @article{Kolmogorov:1925,
    author = {Andrej Nikolaevi\v{c} Kolmogorov},
    title = {O principe tertium non datur},
    journal = {\tedesco{Matematiceskij Sbornik}},
    year = {1925},
    volume = {32},
    pages = {646-667},
    note = {traduzione italiana \enquote{Sul principio del Terzo Escluso} in \citep[p.~167-194]{Casari}}
    }

    @book{Casari,
    author = {Ettore Casari},
    title = {Dalla logica alla metalogica: scritti fondamentali di logica matematica},
    publisher = {Sansoni},
    year = {1979},
    address = {Firenze}
    }

    @book{Heijenoort,
    author = {van Heijenoort, Jean},
    title = {\inglese{From Frege to G\”{o}del. A source book in mathematical logic, 1879-1931}},
    publisher = {Harvard University Press},
    year = {1967},
    address = {Cambridge}
    }

    @book{Mancosu,
    author = {Paolo Mancosu},
    title = {\inglese{From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s}},
    publisher = {Oxford University Press},
    year = {1998},
    address = {Oxford}
    }

    @article{vanDalen,
    author = {van Dalen, Dirk},
    title = {\inglese{Kolmogorov and Brouwer on constructive implication and the Ex Falso rule}},
    journal = {Russian Math Surveys},
    year = {2004},
    volume = {59},
    number = {2},
    pages = {247-257}
    }

    @article{Heyting:1930,
    author = {Arend Heyting},
    title = {\tedesco{Die formalen Regeln der intuitionistischen Logik}},
    journal = {\tedesco{Sitzungsberichte der Preussischen Akademie der Wissenschaften}},
    year = {1930},
    pages = {42-56},
    note = {traduzione inglese \enquote{\inglese{The Formal Rules of Intuitionistic Logic}} in \citep[p.~311-327]{Mancosu}}
    }
    `

    In pratica quello che succede quando viene generata la bibliografia è che le voci vengono ordinate così:

      Casari
      Heyting
      Kolmogorov
      Mancosu
      van Atten
      van Dalen
      van Heijenoort

    Ma quello che vorrei sarebbe questo ordine:

      van Atten
      van Dalen
      Casari
      van Heijenoort
      Heyting
      Kolmogorov
      Mancosu

    che trallaltro secondo L’arte di scrivere con LaTeX dovrebbe essere il metodo predefinito con cui BibTeX ordina le voci in bibliografia.

    in risposta a: Inserire testo sulla stessa linea della formula #29356
    Up
    0
    Down
    ::


    grazie! adesso ha un aspetto molto più accettabile : )
    Ciao!

    in risposta a: Inserire testo sulla stessa linea della formula #29354
    Up
    0
    Down
    ::


    il tuo consiglio mi sembra ottimo, e anche graficamente ha una buona resa. Mi si presenta però un altro problema: siccome la dimostrazione che devo scrivere è piuttosto lunga, latex tenta di farmela entrare tutta nella stessa pagina, ma così mi rimane un buco bianco nella pagina precedente! Come faccio a fargli ignorare questo fatto e fargli spezzare la dimostrazione in modo naturale su due pagine?

    in risposta a: Inserire testo sulla stessa linea della formula #29352
    Up
    0
    Down
    ::


    Quello che devo fare è scrivere una dimostrazione formale all’interno della logica proposizionale usando il calcolo alla Hilbert.
    Il risultato grafico che cerco è quello riportato nell’immagine (che ho fatto con photoshop), vorrei avere lo stesso risultato utilizzando latex.


Stai visualizzando 10 risposte – dal 1 al 10 (di 10 totali)

Go to top